Alan wears all blue. Bob is young and round, he is also green. Gary is colored blue and red. He is also kind and cold to the touch. People who are blue, cold, and round are often kind. A human that's cold also means they are a human that is young. Young, kind people have a habit of being nice. Ifa blue and green colored person is rough then they must be big shaped. People who are nice and cold are also green.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Gary is young.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "young" "+")
((triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple7) -> rule2))]
("Gary" "is" "young" "-")
((triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
4
proof
[(((triple6 ((triple7) -> rule2)) -> rule3))]
("Gary" "is" "nice" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not nice.
False
4
inv-proof
[(((triple6 ((triple7) -> rule2)) -> rule3))]
("Gary" "is" "nice" "-")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
True
6
proof
[(((((triple6 ((triple7) -> rule2)) -> rule3) triple7) -> rule5))]
("Gary" "is" "green" "+")
((((triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not green.
False
6
inv-proof
[(((((triple6 ((triple7) -> rule2)) -> rule3) triple7) -> rule5))]
("Gary" "is" "green" "-")
((((triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple1)] Bob is green.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] @1: Gary is young.[(((triple7) -> rule2))] @2: Gary is nice.[(((triple6 ((triple7) -> rule2)) -> rule3))] @3: Gary is green.[(((((triple6 ((triple7) -> rule2)) -> rule3) triple7) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple6 ((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Alan wears all blue.
Bob is young and round, he is also green.
Gary is colored blue and red; He is also kind and cold to the touch.
People who are blue, cold, and round are often kind.
A human that's cold also means they are a human that is young.
Young, kind people have a habit of being nice.
Ifa blue and green colored person is rough then they must be big shaped.
People who are nice and cold are also green.