Bob looks red to most people, with blue features. If you met Eric you would find him nice, blue, cold and quite big. Big Fred is nice but also rough. A person that is cold, blue and nice is also considered to be round. It's said that any person with blue skin, round bones, and big feet is kind. Get out of the way if a red and green person walks up to you because they are rough. Anyone will tell you the kind and the big are also rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Fred is not nice.
False
1
inv-proof
[(triple8)]
("Fred" "is" "nice" "-")
triple8
Eric is round.
True
4
proof
[(((triple4 triple5 triple3) -> rule1))]
("Eric" "is" "round" "+")
((triple4 triple5 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
4
inv-proof
[(((triple4 triple5 triple3) -> rule1))]
("Eric" "is" "round" "-")
((triple4 triple5 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
True
7
proof
[(((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2))]
("Eric" "is" "kind" "+")
((triple5 ((triple4 triple5 triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not kind.
False
7
inv-proof
[(((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2))]
("Eric" "is" "kind" "-")
((triple5 ((triple4 triple5 triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
True
9
proof
[(((triple6 ((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2)) -> rule4))]
("Eric" "is" "rough" "+")
((triple6 ((triple5 ((triple4 triple5 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not rough.
False
9
inv-proof
[(((triple6 ((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2)) -> rule4))]
("Eric" "is" "rough" "-")
((triple6 ((triple5 ((triple4 triple5 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is blue.[(triple2)] Bob is red.[(triple1)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is cold.[(triple4)] Eric is nice.[(triple3)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Fred is rough.[(triple7)] @1: Eric is round.[(((triple4 triple5 triple3) -> rule1))] @2: Eric is kind.[(((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2))] @3: Eric is rough.[(((triple6 ((triple5 ((triple4 triple5 triple3) -> rule1) triple6) -> rule2)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
((triple4 triple5 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 ((triple4 triple5 triple3) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 ((triple5 ((triple4 triple5 triple3) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Bob looks red to most people, with blue features.
If you met Eric you would find him nice, blue, cold and quite big.
Big Fred is nice but also rough.
A person that is cold, blue and nice is also considered to be round.
It's said that any person with blue skin, round bones, and big feet is kind.
Get out of the way if a red and green person walks up to you because they are rough.
Anyone will tell you the kind and the big are also rough.