Bob is a nice, kind young man.  Bob keeps a sweater with him because he is always cold. Dave ate some rotten meat and now feels green. Even though Eric is green with envy he is nice with rosy red cheeks. Young Harry is a big, cold, rough person. Surprisingly, all the kind, green people were also big. Young people who rough around in the cold are known to be very red. A young person who is red and green is also going to look round. Nobody who is round and rough and big can keep themselves from being nice. A big person with cold, rough skin is going to be green as well. Young people that are big in size, tend to be more on the blue side.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Harry is red.
True
4
proof
[(((triple10 triple9 triple11) -> rule2))]
("Harry" "is" "red" "+")
((triple10 triple9 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
4
inv-proof
[(((triple10 triple9 triple11) -> rule2))]
("Harry" "is" "red" "-")
((triple10 triple9 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
True
10
proof
[(((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3))]
("Harry" "is" "round" "+")
((triple9 ((triple12 triple11 triple10) -> (rule5 % int3)) ((triple10 triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not round.
False
10
inv-proof
[(((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3))]
("Harry" "is" "round" "-")
((triple9 ((triple12 triple11 triple10) -> (rule5 % int3)) ((triple10 triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
True
13
proof
[(((((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3) triple10 triple12) -> rule4))]
("Harry" "is" "nice" "+")
((((triple9 ((triple12 triple11 triple10) -> (rule5 % int4)) ((triple10 triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple10 triple12) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not nice.
False
13
inv-proof
[(((((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3) triple10 triple12) -> rule4))]
("Harry" "is" "nice" "-")
((((triple9 ((triple12 triple11 triple10) -> (rule5 % int4)) ((triple10 triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple10 triple12) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple5)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Harry is blue.[(((triple12 triple9) -> rule6))] Harry is green.[(((triple12 triple11 triple10) -> rule5))] Harry is red.[(((triple10 triple9 triple11) -> rule2))] @2: Harry is round.[(((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3))] @3: Harry is nice.[(((((triple9 ((triple12 triple11 triple10) -> rule5) ((triple10 triple9 triple11) -> rule2)) -> rule3) triple10 triple12) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12 triple11 triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10 triple9 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9 ((triple12 triple11 triple10) -> (rule5 % int3)) ((triple10 triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple9 ((triple12 triple11 triple10) -> (rule5 % int4)) ((triple10 triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple10 triple12) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Bob is a nice, kind young man; Bob keeps a sweater with him because he is always cold.
Dave ate some rotten meat and now feels green.
Even though Eric is green with envy he is nice with rosy red cheeks.
Young Harry is a big, cold, rough person.
Surprisingly, all the kind, green people were also big.
Young people who rough around in the cold are known to be very red.
A young person who is red and green is also going to look round.
Nobody who is round and rough and big can keep themselves from being nice.
A big person with cold, rough skin is going to be green as well.
Young people that are big in size, tend to be more on the blue side.