In the snow sits Bob, crying from being cold. Charlie is interestingly colored red and blue, and is also very kind. Young Dave is kind and perpetually cold, especially during the winter holidays when he is green and red. Young Fred got into a fight that left him with red sores on his face. A person who is described as young and cold, but also described as rough is nice. A cold person, who is kind in nature and young in years, is round. Young, round people seem to be big in our experience. Big people that tend to be nice and blue, may also be a little rough to others. If you meet somebody who is green, big and red you'll notice they are also blue.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is young and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "blue" "-")
triple4
Dave is round.
True
4
proof
[(((triple9 triple7 triple5) -> rule2))]
("Dave" "is" "round" "+")
((triple9 triple7 triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
4
inv-proof
[(((triple9 triple7 triple5) -> rule2))]
("Dave" "is" "round" "-")
((triple9 triple7 triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
True
6
proof
[(((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3))]
("Dave" "is" "big" "+")
((triple5 ((triple9 triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not big.
False
6
inv-proof
[(((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3))]
("Dave" "is" "big" "-")
((triple5 ((triple9 triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
True
9
proof
[(((triple8 ((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
("Dave" "is" "blue" "+")
((triple8 ((triple5 ((triple9 triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not blue.
False
9
inv-proof
[(((triple8 ((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
("Dave" "is" "blue" "-")
((triple8 ((triple5 ((triple9 triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple1)] Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Fred is red.[(triple11)] Fred is young.[(triple10)] @1: Dave is round.[(((triple9 triple7 triple5) -> rule2))] @2: Dave is big.[(((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3))] @3: Dave is blue.[(((triple8 ((triple5 ((triple9 triple7 triple5) -> rule2)) -> rule3) triple6) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple9 triple7 triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple5 ((triple9 triple7 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 ((triple5 ((triple9 triple7 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
In the snow sits Bob, crying from being cold.
Charlie is interestingly colored red and blue, and is also very kind.
Young Dave is kind and perpetually cold, especially during the winter holidays when he is green and red.
Young Fred got into a fight that left him with red sores on his face.
A person who is described as young and cold, but also described as rough is nice.
A cold person, who is kind in nature and young in years, is round.
Young, round people seem to be big in our experience.
Big people that tend to be nice and blue, may also be a little rough to others.
If you meet somebody who is green, big and red you'll notice they are also blue.