In the snow sits Bob, crying from being cold. Dave wears all blue. Fred is too round for someone so young. Also, he is sometimes red and sometimes green. Though he is young, Gary is still nice despite being quite blue. You will probably see that red, round people are nice, as well as green. Get out of the way if a red and green person walks up to you because they are rough. A young person who is red and green is also going to look round. Big people that have a rough demeanor usually feel blue. Invariably, any young person whose skin appears rough and green is bound to be quite big.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Fred is not red.
False
1
inv-proof
[(triple5)]
("Fred" "is" "red" "-")
triple5
Fred is rough.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Fred" "is" "rough" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Fred" "is" "rough" "-")
((triple5 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
True
6
proof
[(((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5))]
("Fred" "is" "big" "+")
((triple3 triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not big.
False
6
inv-proof
[(((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5))]
("Fred" "is" "big" "-")
((triple3 triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
True
10
proof
[(((((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5) ((triple5 triple6) -> rule2)) -> rule4))]
("Fred" "is" "blue" "+")
((((triple3 triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not blue.
False
10
inv-proof
[(((((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5) ((triple5 triple6) -> rule2)) -> rule4))]
("Fred" "is" "blue" "-")
((((triple3 triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is cold.[(triple1)] Dave is blue.[(triple2)] Fred is green.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4 OR ((triple3 triple6 triple5) -> rule3))] Fred is young.[(triple3)] Gary is blue.[(triple9)] Gary is nice.[(triple8)] Gary is young.[(triple7)] @1: Fred is rough.[(((triple5 triple6) -> rule2))] @2: Fred is big.[(((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5))] @3: Fred is blue.[(((((triple3 triple6 ((triple5 triple6) -> rule2)) -> rule5) ((triple5 triple6) -> rule2)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
((triple3 triple6 triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple3 triple6 ((triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple3 triple6 ((triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) ((triple5 triple6) -> (rule2 % int3))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
In the snow sits Bob, crying from being cold.
Dave wears all blue.
Fred is too round for someone so young; Also, he is sometimes red and sometimes green.
Though he is young, Gary is still nice despite being quite blue.
You will probably see that red, round people are nice, as well as green.
Get out of the way if a red and green person walks up to you because they are rough.
A young person who is red and green is also going to look round.
Big people that have a rough demeanor usually feel blue.
Invariably, any young person whose skin appears rough and green is bound to be quite big.