Dave is blue and cold. Even though Eric is big and round, he is cold much of the time. Gary ate some rotten meat and now feels green. Harry felt young and rough. He made himself red, green, and blue. Kind young people are red. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Blue, young and round people are usually big. If you are big and young then your are also nice. Color anybody red and blue, then make them rough, and they will surely be round. People who are considered rough, blue, and nice, are also green.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Harry is rough.
True
1
proof
[(triple8)]
("Harry" "is" "rough" "+")
triple8
Harry is not rough.
False
1
inv-proof
[(triple8)]
("Harry" "is" "rough" "-")
triple8
Harry is round.
True
4
proof
[(((triple11 triple8 triple9) -> rule5))]
("Harry" "is" "round" "+")
((triple11 triple8 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
4
inv-proof
[(((triple11 triple8 triple9) -> rule5))]
("Harry" "is" "round" "-")
((triple11 triple8 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
True
7
proof
[(((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3))]
("Harry" "is" "big" "+")
((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not big.
False
7
inv-proof
[(((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3))]
("Harry" "is" "big" "-")
((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
True
9
proof
[(((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4))]
("Harry" "is" "nice" "+")
((((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not nice.
False
9
inv-proof
[(((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4))]
("Harry" "is" "nice" "-")
((((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple2)] Dave is cold.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is round.[(triple3)] Gary is green.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10 OR ((triple8 triple11 ((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4)) -> rule6))] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is round.[(((triple11 triple8 triple9) -> rule5))] @2: Harry is big.[(((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3))] @3: Harry is nice.[(((((triple11 triple7 ((triple11 triple8 triple9) -> rule5)) -> rule3) triple7) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple8 triple11 ((((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple8 triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple11 triple7 ((triple11 triple8 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Dave is blue and cold.
Even though Eric is big and round, he is cold much of the time.
Gary ate some rotten meat and now feels green.
Harry felt young and rough; He made himself red, green, and blue.
Kind young people are red.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
Blue, young and round people are usually big.
If you are big and young then your are also nice.
Color anybody red and blue, then make them rough, and they will surely be round.
People who are considered rough, blue, and nice, are also green.