Bob is a kind and red colored guy. Fred's a round guy, and a red and green guy. Gary looks red to most people, with blue features. A nice person who is green is feeling cold. Big and cold people are likely to be round, too. Red and kind people always seem to be big as well. People blue with cold are definitely green and new in these parts. A person with a round body will be feeling very cold and will be rough to handle. When you meet kind people they wont have a cold heart. Anybody that is blue, red and cold will also be round, for sure.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Bob is big.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "cold" "-")
((triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
True
6
proof
[(((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2))]
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not round.
False
6
inv-proof
[(((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2))]
("Bob" "is" "round" "-")
((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
True
9
proof
[(((((triple2) -> rule6) ((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2)) -> rule5))]
("Bob" "is" "rough" "+")
((((triple2) -> (rule6 % int4)) ((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not rough.
False
9
inv-proof
[(((((triple2) -> rule6) ((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2)) -> rule5))]
("Bob" "is" "rough" "-")
((((triple2) -> (rule6 % int4)) ((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Fred is green.[(triple5)] Fred is red.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple7)] Gary is red.[(triple6)] @1: Bob is big.[(((triple1 triple2) -> rule3))] Bob is cold.[(((triple2) -> rule6))] @2: Bob is round.[(((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2))] @3: Bob is rough.[(((((triple2) -> rule6) ((((triple1 triple2) -> rule3) ((triple2) -> rule6)) -> rule2)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2) -> (rule6 % int4)) ((((triple1 triple2) -> (rule3 % int3)) ((triple2) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is a kind and red colored guy.
Fred's a round guy, and a red and green guy.
Gary looks red to most people, with blue features.
A nice person who is green is feeling cold.
Big and cold people are likely to be round, too.
Red and kind people always seem to be big as well.
People blue with cold are definitely green and new in these parts.
A person with a round body will be feeling very cold and will be rough to handle.
When you meet kind people they wont have a cold heart.
Anybody that is blue, red and cold will also be round, for sure.