Bob who is considered nice was feeling rather rough today. Others enjoy Dave's company because he is so nice and kind. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. That guy Gary is big, but he's always kind to little ones. Someone can be very nice and kind, and this means they are also green. Whenever you are around kind and green people, you will notice they are very red. Big and round people who arent cold, tend to be very kind. Young and rough green people, have no choice but to be red. A nice person who is always seen to be wearing green clothes will be rather big in size. Rough people who are nice and have green thumbs are almost always young. A green and red colored person who has a nice temperament will be cold.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Gary is big.
True
1
proof
[(triple8)]
("Gary" "is" "big" "+")
triple8
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Dave is green.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "green" "-")
((triple3 triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
True
5
proof
[(((((triple3 triple4) -> rule1) triple3) -> rule5))]
("Dave" "is" "big" "+")
((((triple3 triple4) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not red.
False
5
inv-proof
[(((triple4 ((triple3 triple4) -> rule1)) -> rule2))]
("Dave" "is" "red" "-")
((triple4 ((triple3 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
True
10
proof
[(((((triple3 triple4) -> rule1) triple3 ((triple4 ((triple3 triple4) -> rule1)) -> rule2)) -> rule7))]
("Dave" "is" "cold" "+")
((((triple3 triple4) -> (rule1 % int3)) triple3 ((triple4 ((triple3 triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not cold.
False
10
inv-proof
[(((((triple3 triple4) -> rule1) triple3 ((triple4 ((triple3 triple4) -> rule1)) -> rule2)) -> rule7))]
("Dave" "is" "cold" "-")
((((triple3 triple4) -> (rule1 % int3)) triple3 ((triple4 ((triple3 triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is big.
Unknown
rconc
[@3: Bob is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- FAIL)]]
("Bob" "is" "big" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is kind.[(triple4)] Dave is nice.[(triple3)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Gary is big.[(triple8)] Gary is kind.[(triple7)] @1: Dave is green.[(((triple3 triple4) -> rule1))] @2: Dave is big.[(((((triple3 triple4) -> rule1) triple3) -> rule5))] Dave is red.[(((triple4 ((triple3 triple4) -> rule1)) -> rule2))] @3: Dave is cold.[(((((triple3 triple4) -> rule1) triple3 ((triple4 ((triple3 triple4) -> rule1)) -> rule2)) -> rule7))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple3 triple4) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple4 ((triple3 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple3 triple4) -> (rule1 % int3)) triple3 ((triple4 ((triple3 triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob who is considered nice was feeling rather rough today.
Others enjoy Dave's company because he is so nice and kind.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
That guy Gary is big, but he's always kind to little ones.
Someone can be very nice and kind, and this means they are also green.
Whenever you are around kind and green people, you will notice they are very red.
Big and round people who arent cold, tend to be very kind.
Young and rough green people, have no choice but to be red.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Rough people who are nice and have green thumbs are almost always young.
A green and red colored person who has a nice temperament will be cold.