Charlie is big and tends to wear red shirts. Young Dave is kind and perpetually cold, especially during the winter holidays when he is green and red. Red Fred is what folks call him, because he is quite red. Harry is young and round, he is also green. A nice person with rough skin is red. Young round blue people are also big people. You can see that cold, blue people are round in shape. Kind people, for example, like the ones at the bank are always blue.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
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 red.
("Fred" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Dave is blue.
True
2
proof
[(((triple5) -> rule4))]
("Dave" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple5) -> rule4))]
("Dave" "is" "blue" "-")
((triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
True
4
proof
[(((triple7 ((triple5) -> rule4)) -> rule3))]
("Dave" "is" "round" "+")
((triple7 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not round.
False
4
inv-proof
[(((triple7 ((triple5) -> rule4)) -> rule3))]
("Dave" "is" "round" "-")
((triple7 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
True
8
proof
[(((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4) triple3) -> rule2))]
("Dave" "is" "big" "+")
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule4 % int3)) triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not big.
False
8
inv-proof
[(((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4) triple3) -> rule2))]
("Dave" "is" "big" "-")
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule4 % int3)) triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Dave is young.[(triple3)] Fred is red.[(triple8)] Harry is green.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Dave is blue.[(((triple5) -> rule4))] @2: Dave is round.[(((triple7 ((triple5) -> rule4)) -> rule3))] @3: Dave is big.[(((((triple7 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4) triple3) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule3 % int2)) ((triple5) -> (rule4 % int3)) triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Charlie is big and tends to wear red shirts.
Young Dave is kind and perpetually cold, especially during the winter holidays when he is green and red.
Red Fred is what folks call him, because he is quite red.
Harry is young and round, he is also green.
A nice person with rough skin is red.
Young round blue people are also big people.
You can see that cold, blue people are round in shape.
Kind people, for example, like the ones at the bank are always blue.