In the snow sits Alan, crying from being cold. Eric, like all young people, is nice. Fred is both young and fairly round in size. Even though Gary is rough, he nice but cold and blue. Young and rough people tend to be green too. People who are rough around the edges, nice, and a bit blue are young. Young and rough green people, have no choice but to be red. Cold, red people are generally kind and big. I see it all the time, nice big people make equal a cold person. A green and quite rough person will also be blue. People with rough red and blue skin are young.
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is nice.
True
1
proof
[(triple3)]
("Eric" "is" "nice" "+")
triple3
Alan is not cold.
False
1
inv-proof
[(triple1)]
("Alan" "is" "cold" "-")
triple1
Gary is young.
True
4
proof
[(((triple6 triple7 triple9) -> rule2))]
("Gary" "is" "young" "+")
((triple6 triple7 triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
4
inv-proof
[(((triple6 triple7 triple9) -> rule2))]
("Gary" "is" "young" "-")
((triple6 triple7 triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
True
6
proof
[(((((triple6 triple7 triple9) -> rule2) triple6) -> rule1))]
("Gary" "is" "green" "+")
((((triple6 triple7 triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not green.
False
6
inv-proof
[(((((triple6 triple7 triple9) -> rule2) triple6) -> rule1))]
("Gary" "is" "green" "-")
((((triple6 triple7 triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
True
12
proof
[(((((triple6 triple7 triple9) -> rule2) triple6 ((((triple6 triple7 triple9) -> rule2) triple6) -> rule1)) -> rule3))]
("Gary" "is" "red" "+")
((((triple6 triple7 triple9) -> (rule2 % int3)) triple6 ((((triple6 triple7 triple9) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not red.
False
12
inv-proof
[(((((triple6 triple7 triple9) -> rule2) triple6 ((((triple6 triple7 triple9) -> rule2) triple6) -> rule1)) -> rule3))]
("Gary" "is" "red" "-")
((((triple6 triple7 triple9) -> (rule2 % int3)) triple6 ((((triple6 triple7 triple9) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is cold.[(triple1)] Eric is nice.[(triple3)] Eric is young.[(triple2)] Fred is round.[(triple5)] Fred is young.[(triple4)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] @1: Gary is young.[(((triple6 triple7 triple9) -> rule2))] @2: Gary is green.[(((((triple6 triple7 triple9) -> rule2) triple6) -> rule1))] @3: Gary is red.[(((((triple6 triple7 triple9) -> rule2) triple6 ((((triple6 triple7 triple9) -> rule2) triple6) -> rule1)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
((triple6 triple7 triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple6 triple7 triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple6 triple7 triple9) -> (rule2 % int3)) triple6 ((((triple6 triple7 triple9) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
In the snow sits Alan, crying from being cold.
Eric, like all young people, is nice.
Fred is both young and fairly round in size.
Even though Gary is rough, he nice but cold and blue.
Young and rough people tend to be green too.
People who are rough around the edges, nice, and a bit blue are young.
Young and rough green people, have no choice but to be red.
Cold, red people are generally kind and big.
I see it all the time, nice big people make equal a cold person.
A green and quite rough person will also be blue.
People with rough red and blue skin are young.