To the touch Bob has rough, cold skin. Dave wears all blue. Fred is cold which makes him red! Fred is young and rough but also very kind. Gary always goes out of his way to show that he is kind to people. Red people feel blue about it. Someone who is colored both in red and green, while being kind to others, is a round person. If someone is a bit rough, but also nice, then they qualify as round. Blue people who are rough are often young. Big, green people that feel blue are mostly young. A cold, red person with a kind disposition will certainly be big. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Fred is cold.
True
1
proof
[(triple8)]
("Fred" "is" "cold" "+")
triple8
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Fred is big.
True
4
proof
[(((triple6 triple8 triple7) -> rule6))]
("Fred" "is" "big" "+")
((triple6 triple8 triple7) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fred" "is" "blue" "-")
((triple6) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
True
5
proof
[(((((triple6) -> rule1) triple6 triple7) -> rule7))]
("Fred" "is" "green" "+")
((((triple6) -> (rule1 % int2)) triple6 triple7) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not green.
False
5
inv-proof
[(((((triple6) -> rule1) triple6 triple7) -> rule7))]
("Fred" "is" "green" "-")
((((triple6) -> (rule1 % int2)) triple6 triple7) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
True
8
proof
[(((triple6 ((((triple6) -> rule1) triple6 triple7) -> rule7) triple7) -> rule2))]
("Fred" "is" "round" "+")
((triple6 ((((triple6) -> (rule1 % int3)) triple6 triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not round.
False
8
inv-proof
[(((triple6 ((((triple6) -> rule1) triple6 triple7) -> rule7) triple7) -> rule2))]
("Fred" "is" "round" "-")
((triple6 ((((triple6) -> (rule1 % int3)) triple6 triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is cold.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple3)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is young.[(triple4 OR ((triple5 ((triple6) -> rule1)) -> rule4) OR ((((triple6 triple8 triple7) -> rule6) ((((triple6) -> rule1) triple6 triple7) -> rule7) ((triple6) -> rule1)) -> rule5))] Gary is kind.[(triple9)] @1: Fred is big.[(((triple6 triple8 triple7) -> rule6))] Fred is blue.[(((triple6) -> rule1))] @2: Fred is green.[(((((triple6) -> rule1) triple6 triple7) -> rule7))] @3: Fred is round.[(((triple6 ((((triple6) -> rule1) triple6 triple7) -> rule7) triple7) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
((triple5 ((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
((((triple6 triple8 triple7) -> (rule6 % int4)) ((((triple6) -> (rule1 % int3)) triple6 triple7) -> (rule7 % int2)) ((triple6) -> (rule1 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple8 triple7) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple6) -> (rule1 % int2)) triple6 triple7) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple6 ((((triple6) -> (rule1 % int3)) triple6 triple7) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
To the touch Bob has rough, cold skin.
Dave wears all blue.
Fred is cold which makes him red! Fred is young and rough but also very kind.
Gary always goes out of his way to show that he is kind to people.
Red people feel blue about it.
Someone who is colored both in red and green, while being kind to others, is a round person.
If someone is a bit rough, but also nice, then they qualify as round.
Blue people who are rough are often young.
Big, green people that feel blue are mostly young.
A cold, red person with a kind disposition will certainly be big.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.