Alan wears all blue. Green eyed Bob is kind and nice. Since he is also big and round with rough skin he often turns red in the sun. Gary is interestingly colored red and blue, and is also very kind. People who are rough around the edges, nice, and a bit blue are young. A round shaped and rough person will be blue as well. If smeone has a blue and green color, then they are young and probably kind. Being big and kind like a gentle giant can make anyone blue. A rather round and green person will be red. A person that is both nice and young will also be cold.
Alan is blue.
("Alan" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "+")
triple9
Gary is not blue.
False
1
inv-proof
[(triple11)]
("Gary" "is" "blue" "-")
triple11
Bob is blue.
True
3
proof
[(((triple3 triple2) -> rule2) OR ((triple8 triple6) -> rule4))]
("Bob" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule2) OR ((triple8 triple6) -> rule4))]
("Bob" "is" "blue" "-")
((triple3 triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
True
6
proof
[(((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1))]
("Bob" "is" "young" "+")
((triple3 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple3 triple5 ((triple8 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1))]
("Bob" "is" "young" "-")
((triple3 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple3 triple5 ((triple8 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
True
8
proof
[(((triple5 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule6) OR ((triple5 ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1)) -> rule6))]
("Bob" "is" "cold" "+")
((triple5 ((triple3 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple5 ((triple3 triple5 ((triple8 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not cold.
False
8
inv-proof
[(((triple5 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule6) OR ((triple5 ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1)) -> rule6))]
("Bob" "is" "cold" "-")
((triple5 ((triple3 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple5 ((triple3 triple5 ((triple8 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is blue.[(triple1)] Bob is big.[(triple8)] Bob is green.[(triple7)] Bob is kind.[(triple6 OR ((((triple3 triple2) -> rule2) triple7 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule3))] Bob is nice.[(triple5)] Bob is red.[(triple4 OR ((triple2 triple7) -> rule5))] Bob is rough.[(triple3)] Bob is round.[(triple2)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Bob is blue.[(((triple3 triple2) -> rule2) OR ((triple8 triple6) -> rule4))] @2: Bob is young.[(((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1))] @3: Bob is cold.[(((triple5 ((triple3 triple5 ((triple3 triple2) -> rule2)) -> rule1)) -> rule6) OR ((triple5 ((triple3 triple5 ((triple8 triple6) -> rule4)) -> rule1)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
((((triple3 triple2) -> (rule2 % int3)) triple7 ((triple3 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple2 triple7) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((triple3 triple5 ((triple8 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((triple3 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple5 ((triple3 triple5 ((triple8 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Alan wears all blue.
Green eyed Bob is kind and nice; Since he is also big and round with rough skin he often turns red in the sun.
Gary is interestingly colored red and blue, and is also very kind.
People who are rough around the edges, nice, and a bit blue are young.
A round shaped and rough person will be blue as well.
If smeone has a blue and green color, then they are young and probably kind.
Being big and kind like a gentle giant can make anyone blue.
A rather round and green person will be red.
A person that is both nice and young will also be cold.