Alan wears all blue. That guy Charlie is big, but he's always kind to little ones. That man standing next to you with a big round body goes by the name of Fred. If you met Gary you will see that he is round and red, but he is cold. This person is nice and young, also round, which makes them cold. Soon you will understand that big people are nice. People who are rough and green with envy are young. I've been told that big, nice people are very rough. A human that's cold also means they are a human that is young. Young people tend to be blue all the time and rough. Nice people are kind and rough when they are young.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Charlie is nice.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule4))]
("Charlie" "is" "rough" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fred is not rough.
False
4
inv-proof
[(((triple5 ((triple5) -> rule2)) -> rule4))]
("Fred" "is" "rough" "-")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Charlie is young.
True
8
proof
[(((((triple3) -> rule2) triple2 ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule7))]
("Charlie" "is" "young" "+")
((((triple3) -> (rule2 % int3)) triple2 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((((triple3) -> rule2) triple2 ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule7))]
("Charlie" "is" "young" "-")
((((triple3) -> (rule2 % int3)) triple2 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Alan is not rough.
Unknown
inv-rconc
[@3: Alan is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is blue.[(triple1)] Charlie is big.[(triple3)] Charlie is kind.[(triple2)] Fred is big.[(triple5)] Fred is round.[(triple4)] Gary is cold.[(triple8)] Gary is red.[(triple7)] Gary is round.[(triple6)] @1: Charlie is nice.[(((triple3) -> rule2))] Fred is nice.[(((triple5) -> rule2))] Gary is young.[(((triple8) -> rule5))] @2: Charlie is rough.[(((triple3 ((triple3) -> rule2)) -> rule4))] Fred is rough.[(((triple5 ((triple5) -> rule2)) -> rule4))] @3: Charlie is young.[(((((triple3) -> rule2) triple2 ((triple3 ((triple3) -> rule2)) -> rule4)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3) -> (rule2 % int3)) triple2 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan wears all blue.
That guy Charlie is big, but he's always kind to little ones.
That man standing next to you with a big round body goes by the name of Fred.
If you met Gary you will see that he is round and red, but he is cold.
This person is nice and young, also round, which makes them cold.
Soon you will understand that big people are nice.
People who are rough and green with envy are young.
I've been told that big, nice people are very rough.
A human that's cold also means they are a human that is young.
Young people tend to be blue all the time and rough.
Nice people are kind and rough when they are young.