Even though he's a big dude, Charlie is cold. Eric ate some rotten meat and now feels green. Harry became more and more round and nice and kind, but he couldn't stop being cold and big. A green colored person will be young and also kind. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Big people with round and somewhat red faces will have rough skin. If a person is young and very kind then they will be rather big. A rather round and green person will be red. Green people who are kind with rosy red skin are round. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple6)]
("Harry" "is" "kind" "-")
triple6
Harry is green.
True
4
proof
[(((triple6 triple5 triple4) -> rule7))]
("Harry" "is" "green" "+")
((triple6 triple5 triple4) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple6 triple5 triple4) -> rule7))]
("Harry" "is" "green" "-")
((triple6 triple5 triple4) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
True
7
proof
[(((triple7 ((triple6 triple5 triple4) -> rule7) triple8) -> rule2))]
("Harry" "is" "young" "+")
((triple7 ((triple6 triple5 triple4) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
6
inv-proof
[(((triple4 ((triple6 triple5 triple4) -> rule7)) -> rule5))]
("Harry" "is" "red" "-")
((triple4 ((triple6 triple5 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
True
9
proof
[(((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> rule7)) -> rule5)) -> rule3))]
("Harry" "is" "rough" "+")
((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not rough.
False
9
inv-proof
[(((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> rule7)) -> rule5)) -> rule3))]
("Harry" "is" "rough" "-")
((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is big.[(triple2)] Charlie is cold.[(triple1)] Eric is green.[(triple3)] Harry is big.[(triple8)] Harry is cold.[(triple7)] Harry is kind.[(triple6)] Harry is nice.[(triple5)] Harry is round.[(triple4)] @1: Harry is green.[(((triple6 triple5 triple4) -> rule7))] @2: Harry is red.[(((triple4 ((triple6 triple5 triple4) -> rule7)) -> rule5))] Harry is young.[(((triple7 ((triple6 triple5 triple4) -> rule7) triple8) -> rule2))] @3: Harry is rough.[(((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> rule7)) -> rule5)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
((triple6 triple5 triple4) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple4 ((triple6 triple5 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple7 ((triple6 triple5 triple4) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 triple4 ((triple4 ((triple6 triple5 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Even though he's a big dude, Charlie is cold.
Eric ate some rotten meat and now feels green.
Harry became more and more round and nice and kind, but he couldn't stop being cold and big.
A green colored person will be young and also kind.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Big people with round and somewhat red faces will have rough skin.
If a person is young and very kind then they will be rather big.
A rather round and green person will be red.
Green people who are kind with rosy red skin are round.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.