Bob ate some rotten meat and now feels green. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Others enjoy Dave's company because he is so nice and kind. Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer. People who are green and blue tend to be round in shape. If you meet a nice, young, red man, you will see that they are big too. A rough and round person is also a big person. Kind people,though green,tend to be nice. If a nice person is round shaped, they feel blue about it. A cold human with round and rough aspects is always kind. It's always true that round, kind people are rough as well.
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple5)]
("Dave" "is" "nice" "-")
triple5
Gary is nice.
True
3
proof
[(((triple7 triple8) -> rule4))]
("Gary" "is" "nice" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Gary" "is" "round" "-")
((triple8 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
True
5
proof
[(((((triple8 triple9) -> rule1) triple7) -> rule7))]
("Gary" "is" "rough" "+")
((((triple8 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple8 triple9) -> rule1) triple7) -> rule7))]
("Gary" "is" "rough" "-")
((((triple8 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
True
9
proof
[(((((triple8 triple9) -> rule1) ((((triple8 triple9) -> rule1) triple7) -> rule7)) -> rule3))]
("Gary" "is" "big" "+")
((((triple8 triple9) -> (rule1 % int3)) ((((triple8 triple9) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not big.
False
9
inv-proof
[(((((triple8 triple9) -> rule1) ((((triple8 triple9) -> rule1) triple7) -> rule7)) -> rule3))]
("Gary" "is" "big" "-")
((((triple8 triple9) -> (rule1 % int3)) ((((triple8 triple9) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Bob" "is" "nice" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is round.[(triple2 OR ((triple3 triple4) -> rule1))] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] @1: Gary is nice.[(((triple7 triple8) -> rule4))] Gary is round.[(((triple8 triple9) -> rule1))] @2: Gary is rough.[(((((triple8 triple9) -> rule1) triple7) -> rule7))] @3: Gary is big.[(((((triple8 triple9) -> rule1) ((((triple8 triple9) -> rule1) triple7) -> rule7)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple8 triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple8 triple9) -> (rule1 % int3)) ((((triple8 triple9) -> (rule1 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Bob ate some rotten meat and now feels green.
Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Others enjoy Dave's company because he is so nice and kind.
Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
People who are green and blue tend to be round in shape.
If you meet a nice, young, red man, you will see that they are big too.
A rough and round person is also a big person.
Kind people,though green,tend to be nice.
If a nice person is round shaped, they feel blue about it.
A cold human with round and rough aspects is always kind.
It's always true that round, kind people are rough as well.