Charlie is a nice person, but he is both blue and red. In the snow sits Dave, crying from being cold. Eric is someone you could describe as young, round, cold, and blue. A green, downhearted, and blue person with red cheeks is big. Someone who has a a young round face is often rough around the edges. A person with rough skin who has been standing in the cold will turn red. Someone with the traits of being cold and red is also going to be someone who is big. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. People that are blue, cold, and big, are rather rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Eric is not round.
False
1
inv-proof
[(triple6)]
("Eric" "is" "round" "-")
triple6
Eric is rough.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Eric" "is" "rough" "+")
((triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Eric" "is" "rough" "-")
((triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
True
5
proof
[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))]
("Eric" "is" "red" "+")
((triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not red.
False
5
inv-proof
[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))]
("Eric" "is" "red" "-")
((triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
True
7
proof
[(((triple7 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
("Eric" "is" "big" "+")
((triple7 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not big.
False
7
inv-proof
[(((triple7 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
("Eric" "is" "big" "-")
((triple7 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "-")
Dave is big.
Unknown
rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is blue.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is cold.[(triple4)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] @1: Eric is rough.[(((triple6 triple5) -> rule2))] @2: Eric is red.[(((triple7 ((triple6 triple5) -> rule2)) -> rule3))] @3: Eric is big.[(((triple7 ((triple7 ((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple7 ((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Charlie is a nice person, but he is both blue and red.
In the snow sits Dave, crying from being cold.
Eric is someone you could describe as young, round, cold, and blue.
A green, downhearted, and blue person with red cheeks is big.
Someone who has a a young round face is often rough around the edges.
A person with rough skin who has been standing in the cold will turn red.
Someone with the traits of being cold and red is also going to be someone who is big.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
People that are blue, cold, and big, are rather rough.