Charlie was feeling blue because the ride at the fair had left him green with motion sickness. His throat was rough and his eyes were round. Charlie is young and didn't know not to eat before getting on a roller-coaster. In the snow sits Fred, crying from being cold. Red Gary is what folks call him, because he is quite red. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. A person who's big and kind will also be cold. If you are green you are also kind. If a person is young and very kind then they will be rather big. A person who is kind but also rough and is also colored blue, will be shaped round.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Charlie is kind.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
True
4
proof
[(((triple1 ((triple4) -> rule2)) -> rule3))]
("Charlie" "is" "big" "+")
((triple1 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not big.
False
4
inv-proof
[(((triple1 ((triple4) -> rule2)) -> rule3))]
("Charlie" "is" "big" "-")
((triple1 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
True
7
proof
[(((((triple1 ((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule1))]
("Charlie" "is" "cold" "+")
((((triple1 ((triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not cold.
False
7
inv-proof
[(((((triple1 ((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule1))]
("Charlie" "is" "cold" "-")
((((triple1 ((triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2 OR ((((triple4) -> rule2) triple3 triple5) -> rule4))] Charlie is young.[(triple1)] Fred is cold.[(triple6)] Gary is red.[(triple7)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8 OR ((triple9) -> rule2))] @1: Charlie is kind.[(((triple4) -> rule2))] @2: Charlie is big.[(((triple1 ((triple4) -> rule2)) -> rule3))] @3: Charlie is cold.[(((((triple1 ((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((((triple4) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((triple9) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1 ((triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie was feeling blue because the ride at the fair had left him green with motion sickness; His throat was rough and his eyes were round; Charlie is young and didn't know not to eat before getting on a roller-coaster.
In the snow sits Fred, crying from being cold.
Red Gary is what folks call him, because he is quite red.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
A person who's big and kind will also be cold.
If you are green you are also kind.
If a person is young and very kind then they will be rather big.
A person who is kind but also rough and is also colored blue, will be shaped round.