Young Bob is wearing green pants. Dave has a round,red,rough looking face with kind eyes. Harry is big and seems cold, but he's just green. Really, he is nice and often red with laughter. A young person with rough red skin is downhearted and blue. A big, blue person who is kind is also round. A big and blue colored person is also certainly very kind. Big, green people that feel blue are mostly young. All men who happen to be red and big, will also be blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple10)]
("Harry" "is" "cold" "-")
triple10
Harry is blue.
True
3
proof
[(((triple7 triple11) -> rule5))]
("Harry" "is" "blue" "+")
((triple7 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple7 triple11) -> rule5))]
("Harry" "is" "blue" "-")
((triple7 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
True
6
proof
[(((triple11 triple9 ((triple7 triple11) -> rule5)) -> rule4))]
("Harry" "is" "young" "+")
((triple11 triple9 ((triple7 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not young.
False
6
inv-proof
[(((triple11 triple9 ((triple7 triple11) -> rule5)) -> rule4))]
("Harry" "is" "young" "-")
((triple11 triple9 ((triple7 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
True
10
proof
[(((((triple7 triple11) -> rule5) ((((triple7 triple11) -> rule5) triple11) -> rule3) triple11) -> rule2))]
("Harry" "is" "round" "+")
((((triple7 triple11) -> (rule5 % int3)) ((((triple7 triple11) -> (rule5 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not round.
False
10
inv-proof
[(((((triple7 triple11) -> rule5) ((((triple7 triple11) -> rule5) triple11) -> rule3) triple11) -> rule2))]
("Harry" "is" "round" "-")
((((triple7 triple11) -> (rule5 % int3)) ((((triple7 triple11) -> (rule5 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] @1: Harry is blue.[(((triple7 triple11) -> rule5))] @2: Harry is kind.[(((((triple7 triple11) -> rule5) triple11) -> rule3))] Harry is young.[(((triple11 triple9 ((triple7 triple11) -> rule5)) -> rule4))] @3: Harry is round.[(((((triple7 triple11) -> rule5) ((((triple7 triple11) -> rule5) triple11) -> rule3) triple11) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7 triple11) -> (rule5 % int2)) triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple11 triple9 ((triple7 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple7 triple11) -> (rule5 % int3)) ((((triple7 triple11) -> (rule5 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Young Bob is wearing green pants.
Dave has a round,red,rough looking face with kind eyes.
Harry is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
A young person with rough red skin is downhearted and blue.
A big, blue person who is kind is also round.
A big and blue colored person is also certainly very kind.
Big, green people that feel blue are mostly young.
All men who happen to be red and big, will also be blue.