Dave who is round and rough is also said to be nice and kind and is feeling green and blue. Eric is round shaped and green colored. Harry is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Red, big people can't help but be round as well. A person who is green and rough and round is also young. Big, rough people sometimes are also green and when they are they must be cold. Rough young folks are surprisingly kind. If a person is young and very kind then they will be rather big. A round person will also be red. A green colored and rough person will be quite kind.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Dave is kind.
True
1
proof
[(triple4 OR ((triple5 triple2) -> rule7) OR ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4))]
("Dave" "is" "kind" "+")
triple4
((triple5 triple2) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple1 triple2 triple5) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Eric is not round.
False
1
inv-proof
[(triple7)]
("Eric" "is" "round" "-")
triple7
Eric is red.
True
2
proof
[(((triple7) -> rule6))]
("Eric" "is" "red" "+")
((triple7) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("Dave" "is" "red" "-")
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
True
6
proof
[(((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5))]
("Dave" "is" "big" "+")
((((triple1 triple2 triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple1 triple2 triple5) -> (rule2 % int3)) ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1 triple2 triple5) -> (rule2 % int3)) ((((triple1 triple2 triple5) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not big.
False
6
inv-proof
[(((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5))]
("Dave" "is" "big" "-")
((((triple1 triple2 triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple1 triple2 triple5) -> (rule2 % int3)) ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1 triple2 triple5) -> (rule2 % int3)) ((((triple1 triple2 triple5) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
True
9
proof
[(((triple2 ((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5) triple5) -> rule3))]
("Dave" "is" "cold" "+")
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((triple5 triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((((triple1 triple2 triple5) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is not cold.
False
9
inv-proof
[(((triple2 ((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5) triple5) -> rule3))]
("Dave" "is" "cold" "-")
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((triple5 triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((((triple1 triple2 triple5) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4 OR ((triple5 triple2) -> rule7) OR ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4))] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is green.[(triple8)] Eric is round.[(triple7)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Dave is red.[(((triple1) -> rule6))] Dave is young.[(((triple1 triple2 triple5) -> rule2))] Eric is red.[(((triple7) -> rule6))] @2: Dave is big.[(((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) OR ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5))] @3: Dave is cold.[(((triple2 ((((triple1 triple2 triple5) -> rule2) triple4) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((triple5 triple2) -> rule7)) -> rule5) triple5) -> rule3) OR ((triple2 ((((triple1 triple2 triple5) -> rule2) ((((triple1 triple2 triple5) -> rule2) triple2) -> rule4)) -> rule5) triple5) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple5 triple2) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple1 triple2 triple5) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple1 triple2 triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple7) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple1 triple2 triple5) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple1 triple2 triple5) -> (rule2 % int3)) ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1 triple2 triple5) -> (rule2 % int3)) ((((triple1 triple2 triple5) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int3)) triple4) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((triple5 triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple2 ((((triple1 triple2 triple5) -> (rule2 % int4)) ((((triple1 triple2 triple5) -> (rule2 % int4)) triple2) -> (rule4 % int3))) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave who is round and rough is also said to be nice and kind and is feeling green and blue.
Eric is round shaped and green colored.
Harry is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Red, big people can't help but be round as well.
A person who is green and rough and round is also young.
Big, rough people sometimes are also green and when they are they must be cold.
Rough young folks are surprisingly kind.
If a person is young and very kind then they will be rather big.
A round person will also be red.
A green colored and rough person will be quite kind.