Charlie was born only a few years ago so he is young. Because Fred gets cold easily he tends to appear round from bundling up. Gary wears all blue. You could say that Harry is red and kind and it would also be true that he is cold and big. All people that are rough and cold, as well as nice will be kind if you talk to them. If people are nice and round, they look red. If you big person approaches and is cold, fear not because they are nice. Big, round, red people are always so young. If a person is red, kind, and nice then they must be round. Take a drive and find a kind and blue driver, that means they are also young.
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Fred is not cold.
False
1
inv-proof
[(triple3)]
("Fred" "is" "cold" "-")
triple3
Harry is nice.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Harry" "is" "nice" "-")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
True
6
proof
[(((((triple8 triple7) -> rule3) triple5 triple6) -> rule5))]
("Harry" "is" "round" "+")
((((triple8 triple7) -> (rule3 % int2)) triple5 triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple8 triple7) -> rule3) triple5 triple6) -> rule5))]
("Harry" "is" "round" "-")
((((triple8 triple7) -> (rule3 % int2)) triple5 triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
True
9
proof
[(((triple8 ((((triple8 triple7) -> rule3) triple5 triple6) -> rule5) triple5) -> rule4))]
("Harry" "is" "young" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple5 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not young.
False
9
inv-proof
[(((triple8 ((((triple8 triple7) -> rule3) triple5 triple6) -> rule5) triple5) -> rule4))]
("Harry" "is" "young" "-")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple5 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is young.[(triple1)] Fred is cold.[(triple3)] Fred is round.[(triple2)] Gary is blue.[(triple4)] Harry is big.[(triple8)] Harry is cold.[(triple7)] Harry is kind.[(triple6)] Harry is red.[(triple5)] @1: Harry is nice.[(((triple8 triple7) -> rule3))] @2: Harry is round.[(((((triple8 triple7) -> rule3) triple5 triple6) -> rule5))] @3: Harry is young.[(((triple8 ((((triple8 triple7) -> rule3) triple5 triple6) -> rule5) triple5) -> rule4))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple8 triple7) -> (rule3 % int2)) triple5 triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3)) triple5 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie was born only a few years ago so he is young.
Because Fred gets cold easily he tends to appear round from bundling up.
Gary wears all blue.
You could say that Harry is red and kind and it would also be true that he is cold and big.
All people that are rough and cold, as well as nice will be kind if you talk to them.
If people are nice and round, they look red.
If you big person approaches and is cold, fear not because they are nice.
Big, round, red people are always so young.
If a person is red, kind, and nice then they must be round.
Take a drive and find a kind and blue driver, that means they are also young.