That guy Alan is big, but he's always kind to little ones. Eric is a person both green and big. Fred is very nice to people, but he's also rather big. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Harry. His cheeks were red from the cold, and his big blue eye were watering. A person who's big and kind will also be cold. Big, kind people are nice. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. I bet you didn't know that nice, kind, cold people happen to be red. A kind, young human will also be a blue human. People who are nice and kind are somewhat young.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Eric is green.
True
1
proof
[(triple3)]
("Eric" "is" "green" "+")
triple3
Fred is not big.
False
1
inv-proof
[(triple6)]
("Fred" "is" "big" "-")
triple6
Alan is nice.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "-")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
True
8
proof
[(((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5))]
("Alan" "is" "red" "+")
((((triple1 triple2) -> (rule3 % int3)) triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
5
inv-proof
[(((triple1 ((triple1 triple2) -> rule3)) -> rule7))]
("Alan" "is" "young" "-")
((triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
True
7
proof
[(((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1))]
("Alan" "is" "blue" "+")
((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is not blue.
False
7
inv-proof
[(((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1))]
("Alan" "is" "blue" "-")
((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is green.
True
12
proof
[(((((triple1 triple2) -> rule3) ((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1) triple1) -> rule4))]
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule3 % int4)) ((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple1 triple2) -> (rule3 % int5)) ((((((triple1 triple2) -> (rule3 % int5)) triple1 ((triple2 triple1) -> (rule2 % int4))) -> (rule5 % int3)) triple2 ((triple2 triple1) -> (rule2 % int4))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
int5
Alan is not green.
False
12
inv-proof
[(((((triple1 triple2) -> rule3) ((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1) triple1) -> rule4))]
("Alan" "is" "green" "-")
((((triple1 triple2) -> (rule3 % int4)) ((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple1 triple2) -> (rule3 % int5)) ((((((triple1 triple2) -> (rule3 % int5)) triple1 ((triple2 triple1) -> (rule2 % int4))) -> (rule5 % int3)) triple2 ((triple2 triple1) -> (rule2 % int4))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
int5
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "young" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Eric is big.[(triple4)] Eric is green.[(triple3)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Alan is cold.[(((triple2 triple1) -> rule2))] Alan is nice.[(((triple1 triple2) -> rule3))] @2: Alan is red.[(((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5))] Alan is young.[(((triple1 ((triple1 triple2) -> rule3)) -> rule7))] @3: Alan is blue.[(((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1))] @4: Alan is green.[(((((triple1 triple2) -> rule3) ((triple1 ((triple1 ((triple1 triple2) -> rule3)) -> rule7)) -> rule6) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((((((triple1 triple2) -> rule3) triple1 ((triple2 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple1) -> rule2)) -> rule1) triple1) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple1 triple2) -> (rule3 % int3)) triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule7 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) triple1 ((triple2 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
((((triple1 triple2) -> (rule3 % int4)) ((triple1 ((triple1 ((triple1 triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple1 triple2) -> (rule3 % int5)) ((((((triple1 triple2) -> (rule3 % int5)) triple1 ((triple2 triple1) -> (rule2 % int4))) -> (rule5 % int3)) triple2 ((triple2 triple1) -> (rule2 % int4))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
int5
That guy Alan is big, but he's always kind to little ones.
Eric is a person both green and big.
Fred is very nice to people, but he's also rather big.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Harry.
His cheeks were red from the cold, and his big blue eye were watering.
A person who's big and kind will also be cold.
Big, kind people are nice.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
I bet you didn't know that nice, kind, cold people happen to be red.
A kind, young human will also be a blue human.
People who are nice and kind are somewhat young.