Bob ate some rotten meat and now feels green. Dave is green and young, but he is also kind. He has blue eyes and red hair. Red Gary is what folks call him, because he is quite red. Harry is very nice to people, but he's also rather big. Big, kind people that are rough are known for being red. A person who is nice and green with envy is round. People who are rough are young. People that feel green are cold to people that try to help them. Show me someone who is cold and kind, and I'll show you how green they are. Young, kind people have the trait of being cold and are also very nice to interact with. Blue and red people who are young always have rough skin.
Bob is green.
("Bob" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Dave is red.
True
1
proof
[(triple3)]
("Dave" "is" "red" "+")
triple3
Harry is not nice.
False
1
inv-proof
[(triple8)]
("Harry" "is" "nice" "-")
triple8
Dave is cold.
True
2
proof
[(((triple5) -> rule4))]
("Dave" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "cold" "-")
((triple1) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is nice.
True
5
proof
[(((((triple5) -> rule4) triple2 triple4) -> rule6))]
("Dave" "is" "nice" "+")
((((triple5) -> (rule4 % int2)) triple2 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple5) -> rule4) triple2 triple4) -> rule6))]
("Dave" "is" "nice" "-")
((((triple5) -> (rule4 % int2)) triple2 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
True
7
proof
[(((((((triple5) -> rule4) triple2 triple4) -> rule6) triple5) -> rule2))]
("Dave" "is" "round" "+")
((((((triple5) -> (rule4 % int3)) triple2 triple4) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not round.
False
7
inv-proof
[(((((((triple5) -> rule4) triple2 triple4) -> rule6) triple5) -> rule2))]
("Dave" "is" "round" "-")
((((((triple5) -> (rule4 % int3)) triple2 triple4) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Harry" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is green.[(triple1)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Gary is red.[(triple7)] Harry is big.[(triple9)] Harry is nice.[(triple8)] @1: Bob is cold.[(((triple1) -> rule4))] Dave is cold.[(((triple5) -> rule4))] Dave is rough.[(((triple6 triple3 triple2) -> rule7))] @2: Dave is nice.[(((((triple5) -> rule4) triple2 triple4) -> rule6))] @3: Dave is round.[(((((((triple5) -> rule4) triple2 triple4) -> rule6) triple5) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 triple3 triple2) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5) -> (rule4 % int2)) triple2 triple4) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((((triple5) -> (rule4 % int3)) triple2 triple4) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob ate some rotten meat and now feels green.
Dave is green and young, but he is also kind; He has blue eyes and red hair.
Red Gary is what folks call him, because he is quite red.
Harry is very nice to people, but he's also rather big.
Big, kind people that are rough are known for being red.
A person who is nice and green with envy is round.
People who are rough are young.
People that feel green are cold to people that try to help them.
Show me someone who is cold and kind, and I'll show you how green they are.
Young, kind people have the trait of being cold and are also very nice to interact with.
Blue and red people who are young always have rough skin.