Bob looks red to most people, with blue features. Dave was born only a few years ago so he is young. They always call him rough Fred. Gary has green teeth and rough skin. People also notice his blue eyes. Anyone who manages to be round, blue, and green must be pretty big. Red and green people that are nice are cold to strangers. People that tend to be big and green also tend to be cold. A good thing to remember is that rough and green people are round as well. Kind young people that are still blue are generally round shaped.
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Fred is rough.
True
1
proof
[(triple4)]
("Fred" "is" "rough" "+")
triple4
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Gary is round.
True
3
proof
[(((triple5 triple6) -> rule4))]
("Gary" "is" "round" "+")
((triple5 triple6) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple5 triple6) -> rule4))]
("Gary" "is" "round" "-")
((triple5 triple6) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
True
6
proof
[(((((triple5 triple6) -> rule4) triple7 triple6) -> rule1))]
("Gary" "is" "big" "+")
((((triple5 triple6) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not big.
False
6
inv-proof
[(((((triple5 triple6) -> rule4) triple7 triple6) -> rule1))]
("Gary" "is" "big" "-")
((((triple5 triple6) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
True
8
proof
[(((((((triple5 triple6) -> rule4) triple7 triple6) -> rule1) triple6) -> rule3))]
("Gary" "is" "cold" "+")
((((((triple5 triple6) -> (rule4 % int3)) triple7 triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not cold.
False
8
inv-proof
[(((((((triple5 triple6) -> rule4) triple7 triple6) -> rule1) triple6) -> rule3))]
("Gary" "is" "cold" "-")
((((((triple5 triple6) -> (rule4 % int3)) triple7 triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is blue.[(triple2)] Bob is red.[(triple1)] Dave is young.[(triple3)] Fred is rough.[(triple4)] Gary is blue.[(triple7)] Gary is green.[(triple6)] Gary is rough.[(triple5)] @1: Gary is round.[(((triple5 triple6) -> rule4))] @2: Gary is big.[(((((triple5 triple6) -> rule4) triple7 triple6) -> rule1))] @3: Gary is cold.[(((((((triple5 triple6) -> rule4) triple7 triple6) -> rule1) triple6) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
((triple5 triple6) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple5 triple6) -> (rule4 % int2)) triple7 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple5 triple6) -> (rule4 % int3)) triple7 triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Bob looks red to most people, with blue features.
Dave was born only a few years ago so he is young.
They always call him rough Fred.
Gary has green teeth and rough skin; People also notice his blue eyes.
Anyone who manages to be round, blue, and green must be pretty big.
Red and green people that are nice are cold to strangers.
People that tend to be big and green also tend to be cold.
A good thing to remember is that rough and green people are round as well.
Kind young people that are still blue are generally round shaped.