Because Charlie gets cold easily he tends to appear round from bundling up. That man standing next to you with a big round body goes by the name of Eric. Harry is big and round for being so young. He ate some spoiled food that has him feeling green. A cold person who is round but rough around the edges is big. Soon you will understand that big people are nice. A big person who looks blue is also going to look young. Young people who are big, downhearted, and blue are kind. Young people that are nice and green tend to be blue.
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Eric is round.
True
1
proof
[(triple3)]
("Eric" "is" "round" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple5)]
("Harry" "is" "young" "-")
triple5
Harry is nice.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple8) -> rule2))]
("Harry" "is" "nice" "-")
((triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
5
proof
[(((triple5 ((triple8) -> rule2) triple7) -> rule5))]
("Harry" "is" "blue" "+")
((triple5 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
5
inv-proof
[(((triple5 ((triple8) -> rule2) triple7) -> rule5))]
("Harry" "is" "blue" "-")
((triple5 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
True
8
proof
[(((triple8 ((triple5 ((triple8) -> rule2) triple7) -> rule5) triple5) -> rule4))]
("Harry" "is" "kind" "+")
((triple8 ((triple5 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not kind.
False
8
inv-proof
[(((triple8 ((triple5 ((triple8) -> rule2) triple7) -> rule5) triple5) -> rule4))]
("Harry" "is" "kind" "-")
((triple8 ((triple5 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "kind" "+")
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Charlie is cold.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple4)] Eric is round.[(triple3)] Harry is big.[(triple8)] Harry is green.[(triple7)] Harry is round.[(triple6)] Harry is young.[(triple5)] @1: Eric is nice.[(((triple4) -> rule2))] Harry is nice.[(((triple8) -> rule2))] @2: Harry is blue.[(((triple5 ((triple8) -> rule2) triple7) -> rule5))] @3: Harry is kind.[(((triple8 ((triple5 ((triple8) -> rule2) triple7) -> rule5) triple5) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple5 ((triple8) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 ((triple5 ((triple8) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Because Charlie gets cold easily he tends to appear round from bundling up.
That man standing next to you with a big round body goes by the name of Eric.
Harry is big and round for being so young; He ate some spoiled food that has him feeling green.
A cold person who is round but rough around the edges is big.
Soon you will understand that big people are nice.
A big person who looks blue is also going to look young.
Young people who are big, downhearted, and blue are kind.
Young people that are nice and green tend to be blue.