In the snow sits Bob, crying from being cold. Charlie was feeling red with anger after the fight, but he was still a nice but big human being. Dave ate some rotten meat and now feels green. Harry is blue from ink he spilled on himself while being kind and helping some children paint. A big, kind someone could also be cold in a green dress. Any big, kind person that turns red is cold to the touch. Someone might be red but blue from the cold dressing in green. Someone can be young, big, and cold but green. Big people are also round people. Big, red things tend to have a kind spirit to them. A kind person who look green and is round in shape is usually big in stature.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Charlie is kind.
True
3
proof
[(((triple2 triple4) -> rule6))]
("Charlie" "is" "kind" "+")
((triple2 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule5))]
("Charlie" "is" "round" "-")
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
True
6
proof
[(((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "+")
((triple2 triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "-")
((triple2 triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
True
11
proof
[(((triple4 ((triple2 triple4) -> rule6) ((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2)) -> rule1))]
("Charlie" "is" "green" "+")
((triple4 ((triple2 triple4) -> (rule6 % int3)) ((triple2 triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not green.
False
11
inv-proof
[(((triple4 ((triple2 triple4) -> rule6) ((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2)) -> rule1))]
("Charlie" "is" "green" "-")
((triple4 ((triple2 triple4) -> (rule6 % int3)) ((triple2 triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Dave" "is" "round" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is cold.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Dave is green.[(triple5)] Harry is blue.[(triple7)] Harry is kind.[(triple6)] @1: Charlie is kind.[(((triple2 triple4) -> rule6))] Charlie is round.[(((triple4) -> rule5))] @2: Charlie is cold.[(((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2))] @3: Charlie is green.[(((triple4 ((triple2 triple4) -> rule6) ((triple2 triple4 ((triple2 triple4) -> rule6)) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2 triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple4 ((triple2 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple2 triple4) -> (rule6 % int3)) ((triple2 triple4 ((triple2 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
In the snow sits Bob, crying from being cold.
Charlie was feeling red with anger after the fight, but he was still a nice but big human being.
Dave ate some rotten meat and now feels green.
Harry is blue from ink he spilled on himself while being kind and helping some children paint.
A big, kind someone could also be cold in a green dress.
Any big, kind person that turns red is cold to the touch.
Someone might be red but blue from the cold dressing in green.
Someone can be young, big, and cold but green.
Big people are also round people.
Big, red things tend to have a kind spirit to them.
A kind person who look green and is round in shape is usually big in stature.