Bob is young and a bit big and round. He acts cold towards skinny people because he is green with envy. Charlie ate some rotten meat and now feels green. Dave ate some rotten meat and now feels green. Young, red Harry is nice. A young someone is red in thought but green in ideas. People with big hands and red, rough skin are terribly kind. A green and quite rough person will also be blue. Someone who happens to be cold and green and big all at once must also be round in shape. Green people who are nice are rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Harry is green.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "green" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "green" "-")
((triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
True
5
proof
[(((triple10 ((triple9 triple8) -> rule1)) -> rule5))]
("Harry" "is" "rough" "+")
((triple10 ((triple9 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((triple10 ((triple9 triple8) -> rule1)) -> rule5))]
("Harry" "is" "rough" "-")
((triple10 ((triple9 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
True
9
proof
[(((((triple10 ((triple9 triple8) -> rule1)) -> rule5) ((triple9 triple8) -> rule1)) -> rule3))]
("Harry" "is" "blue" "+")
((((triple10 ((triple9 triple8) -> (rule1 % int3))) -> (rule5 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not blue.
False
9
inv-proof
[(((((triple10 ((triple9 triple8) -> rule1)) -> rule5) ((triple9 triple8) -> rule1)) -> rule3))]
("Harry" "is" "blue" "-")
((((triple10 ((triple9 triple8) -> (rule1 % int3))) -> (rule5 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is round.[(triple2 OR ((triple4 triple3 triple5) -> rule4))] Bob is young.[(triple1)] Charlie is green.[(triple6)] Dave is green.[(triple7)] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Harry is green.[(((triple9 triple8) -> rule1))] @2: Harry is rough.[(((triple10 ((triple9 triple8) -> rule1)) -> rule5))] @3: Harry is blue.[(((((triple10 ((triple9 triple8) -> rule1)) -> rule5) ((triple9 triple8) -> rule1)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
((triple4 triple3 triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple9 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple10 ((triple9 triple8) -> (rule1 % int3))) -> (rule5 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is young and a bit big and round; He acts cold towards skinny people because he is green with envy.
Charlie ate some rotten meat and now feels green.
Dave ate some rotten meat and now feels green.
Young, red Harry is nice.
A young someone is red in thought but green in ideas.
People with big hands and red, rough skin are terribly kind.
A green and quite rough person will also be blue.
Someone who happens to be cold and green and big all at once must also be round in shape.
Green people who are nice are rough.