Even though he's a big dude, Bob is cold. Charlie is both young and fairly round in size. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. A rough person that is cold towards others is green. Rough, round persons are also nice persons. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Young people are rough. A person that is both nice and young will also be cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Gary is blue.
True
1
proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Gary is nice.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Gary" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple3) -> rule4))]
("Charlie" "is" "rough" "-")
((triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
4
proof
[(((((triple3) -> rule4) triple4) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((((triple3) -> rule4) triple4) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
6
proof
[(((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5))]
("Charlie" "is" "cold" "+")
((((((triple3) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
6
inv-proof
[(((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5))]
("Charlie" "is" "cold" "-")
((((((triple3) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
True
9
proof
[(((((triple3) -> rule4) ((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5)) -> rule1))]
("Charlie" "is" "green" "+")
((((triple3) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not green.
False
9
inv-proof
[(((((triple3) -> rule4) ((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5)) -> rule1))]
("Charlie" "is" "green" "-")
((((triple3) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Bob" "is" "green" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Gary is blue.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] @1: Charlie is rough.[(((triple3) -> rule4))] Gary is nice.[(((triple6 triple5) -> rule2))] @2: Charlie is nice.[(((((triple3) -> rule4) triple4) -> rule2))] @3: Charlie is cold.[(((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5))] @4: Charlie is green.[(((((triple3) -> rule4) ((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple3) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule4 % int4)) ((((((triple3) -> (rule4 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Even though he's a big dude, Bob is cold.
Charlie is both young and fairly round in size.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
A rough person that is cold towards others is green.
Rough, round persons are also nice persons.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Young people are rough.
A person that is both nice and young will also be cold.