Alan is kind and round. Being round makes him a bit blue. Charlie was known for being kind, a bit big and round and for playing rough when he was young. To the touch Eric has rough, cold skin. Because Fred gets cold easily he tends to appear round from bundling up. A rough textured and cold person is definitely young. Blue Christmas ornaments are also red. When you meet big guys with red hair, then tend to be cold hearted. Young people that are also red and green, may be fairly rough, also. Anyone who's blue is also green. A kind, young human will also be a blue human. Those who are round and cold are young.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Charlie is kind.
True
1
proof
[(triple7)]
("Charlie" "is" "kind" "+")
triple7
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Fred is young.
True
3
proof
[(((triple12 triple11) -> rule7))]
("Fred" "is" "young" "+")
((triple12 triple11) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "green" "-")
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is green.
True
4
proof
[(((((triple7 triple4) -> rule6)) -> rule5))]
("Charlie" "is" "green" "+")
((((triple7 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((((triple7 triple4) -> rule6)) -> rule5))]
("Charlie" "is" "green" "-")
((((triple7 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
True
6
proof
[(((triple8 ((((triple7 triple4) -> rule6)) -> rule2)) -> rule3))]
("Charlie" "is" "cold" "+")
((triple8 ((((triple7 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not cold.
False
6
inv-proof
[(((triple8 ((((triple7 triple4) -> rule6)) -> rule2)) -> rule3))]
("Charlie" "is" "cold" "-")
((triple8 ((((triple7 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@3: Alan is rough.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not rough.
Unknown
inv-rconc
[@3: Fred is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule6 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is rough.[(triple6 OR ((((((triple7 triple4) -> rule6)) -> rule2) ((((triple7 triple4) -> rule6)) -> rule5) triple4) -> rule4))] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Eric is cold.[(triple10)] Eric is rough.[(triple9)] Fred is cold.[(triple12)] Fred is round.[(triple11)] @1: Alan is green.[(((triple3) -> rule5))] Alan is red.[(((triple3) -> rule2))] Charlie is blue.[(((triple7 triple4) -> rule6))] Eric is young.[(((triple9 triple10) -> rule1))] Fred is young.[(((triple12 triple11) -> rule7))] @2: Charlie is green.[(((((triple7 triple4) -> rule6)) -> rule5))] Charlie is red.[(((((triple7 triple4) -> rule6)) -> rule2))] @3: Charlie is cold.[(((triple8 ((((triple7 triple4) -> rule6)) -> rule2)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((((((triple7 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple7 triple4) -> (rule6 % int4))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Fred is round.
("Fred" "is" "round" "+")
triple11
Alan is green.
("Alan" "is" "green" "+")
((triple3) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple4) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple10) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple12 triple11) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple7 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple7 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8 ((((triple7 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan is kind and round; Being round makes him a bit blue.
Charlie was known for being kind, a bit big and round and for playing rough when he was young.
To the touch Eric has rough, cold skin.
Because Fred gets cold easily he tends to appear round from bundling up.
A rough textured and cold person is definitely young.
Blue Christmas ornaments are also red.
When you meet big guys with red hair, then tend to be cold hearted.
Young people that are also red and green, may be fairly rough, also.
Anyone who's blue is also green.
A kind, young human will also be a blue human.
Those who are round and cold are young.