Bob is a big gentleman who is very nice. He is secretly green with envy. Eric is interestingly colored red and blue, and is also very kind. That guy Fred is big, but he's always kind to little ones. Gary wears all blue. You'll always find a young, kind and red person to be a cold person, too. Big, young people feel cold all the time. Look for the blue and green people, they are kind and will give you directions if you're lost. If you are green you are also kind. A kind person who is green is usually round. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. A young, cold person is often blue.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fred is kind.
True
1
proof
[(triple7)]
("Fred" "is" "kind" "+")
triple7
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Bob is kind.
True
2
proof
[(((triple2) -> rule4))]
("Bob" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
True
4
proof
[(((((triple2) -> rule4) triple2) -> rule5))]
("Bob" "is" "round" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not round.
False
4
inv-proof
[(((((triple2) -> rule4) triple2) -> rule5))]
("Bob" "is" "round" "-")
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
True
8
proof
[(((((triple2) -> rule4) triple2 ((((triple2) -> rule4) triple2) -> rule5)) -> rule6))]
("Bob" "is" "red" "+")
((((triple2) -> (rule4 % int3)) triple2 ((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not red.
False
8
inv-proof
[(((((triple2) -> rule4) triple2 ((((triple2) -> rule4) triple2) -> rule5)) -> rule6))]
("Bob" "is" "red" "-")
((((triple2) -> (rule4 % int3)) triple2 ((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is red.[(triple4)] Fred is big.[(triple8)] Fred is kind.[(triple7)] Gary is blue.[(triple9)] @1: Bob is kind.[(((triple2) -> rule4))] @2: Bob is round.[(((((triple2) -> rule4) triple2) -> rule5))] @3: Bob is red.[(((((triple2) -> rule4) triple2 ((((triple2) -> rule4) triple2) -> rule5)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule4 % int3)) triple2 ((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is a big gentleman who is very nice; He is secretly green with envy.
Eric is interestingly colored red and blue, and is also very kind.
That guy Fred is big, but he's always kind to little ones.
Gary wears all blue.
You'll always find a young, kind and red person to be a cold person, too.
Big, young people feel cold all the time.
Look for the blue and green people, they are kind and will give you directions if you're lost.
If you are green you are also kind.
A kind person who is green is usually round.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
A young, cold person is often blue.