Dave was young, had red eyes and green hair. On top of that he was big and had cold hands. Eric ate some rotten meat and now feels green. Young Gary is wearing green pants. Although Harry is young and nice, he is as cold as ice. A young aged blue person will certainly be nice. Most young and nice people will be kind. Someone who is not only rough and big but also nice will necessarily be round as well. Color anybody red and blue, then make them rough, and they will surely be round. Nice people who are big in stature often look rough. Kind and nice people who feel blue usually look green. Most kind and cold people are also big.
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
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 nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple5)]
("Dave" "is" "big" "+")
triple5
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Harry is kind.
True
3
proof
[(((triple9 triple10) -> rule2))]
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple9 triple10) -> rule2))]
("Harry" "is" "kind" "-")
((triple9 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
True
5
proof
[(((((triple9 triple10) -> rule2) triple11) -> rule7))]
("Harry" "is" "big" "+")
((((triple9 triple10) -> (rule2 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not big.
False
5
inv-proof
[(((((triple9 triple10) -> rule2) triple11) -> rule7))]
("Harry" "is" "big" "-")
((((triple9 triple10) -> (rule2 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
True
7
proof
[(((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5))]
("Harry" "is" "rough" "+")
((triple10 ((((triple9 triple10) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not rough.
False
7
inv-proof
[(((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5))]
("Harry" "is" "rough" "-")
((triple10 ((((triple9 triple10) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
True
14
proof
[(((((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5) ((((triple9 triple10) -> rule2) triple11) -> rule7) triple10) -> rule3))]
("Harry" "is" "round" "+")
((((triple10 ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3)) triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not round.
False
14
inv-proof
[(((((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5) ((((triple9 triple10) -> rule2) triple11) -> rule7) triple10) -> rule3))]
("Harry" "is" "round" "-")
((((triple10 ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3)) triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is green.[(triple6)] Gary is green.[(triple8)] Gary is young.[(triple7)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple9 triple10) -> rule2))] @2: Harry is big.[(((((triple9 triple10) -> rule2) triple11) -> rule7))] @3: Harry is rough.[(((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5))] @4: Harry is round.[(((((triple10 ((((triple9 triple10) -> rule2) triple11) -> rule7)) -> rule5) ((((triple9 triple10) -> rule2) triple11) -> rule7) triple10) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple9 triple10) -> (rule2 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((((triple9 triple10) -> (rule2 % int3)) triple11) -> (rule7 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple10 ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3))) -> (rule5 % int2)) ((((triple9 triple10) -> (rule2 % int4)) triple11) -> (rule7 % int3)) triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Dave was young, had red eyes and green hair; On top of that he was big and had cold hands.
Eric ate some rotten meat and now feels green.
Young Gary is wearing green pants.
Although Harry is young and nice, he is as cold as ice.
A young aged blue person will certainly be nice.
Most young and nice people will be kind.
Someone who is not only rough and big but also nice will necessarily be round as well.
Color anybody red and blue, then make them rough, and they will surely be round.
Nice people who are big in stature often look rough.
Kind and nice people who feel blue usually look green.
Most kind and cold people are also big.