Alan was young, had red eyes and green hair. On top of that he was big and had cold hands. Bob was born only a few years ago so he is young. Red Charlie is what folks call him, because he is quite red. Fred, who is young, round, red, and blue, is also quite big in size. We called someone with green, round eyes, blue for some reason. A blue person who is feeling a bit rough and cold will be wearing red. A big, kind someone could also be cold in a green dress. It's said that any person with blue skin, round bones, and big feet is kind. Blue people who are big tend to be rough. Young people with red, flushed cheeks who are rough around the edges are really quite nice. A big, young aged person that is green will be round shaped.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Alan is green.
True
1
proof
[(triple3)]
("Alan" "is" "green" "+")
triple3
Fred is not red.
False
1
inv-proof
[(triple10)]
("Fred" "is" "red" "-")
triple10
Alan is round.
True
4
proof
[(((triple5 triple3 triple1) -> rule7))]
("Alan" "is" "round" "+")
((triple5 triple3 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
4
inv-proof
[(((triple5 triple3 triple1) -> rule7))]
("Alan" "is" "round" "-")
((triple5 triple3 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is nice.
True
6
proof
[(((triple10 triple8 ((triple11 triple12) -> rule5)) -> rule6))]
("Fred" "is" "nice" "+")
((triple10 triple8 ((triple11 triple12) -> (rule5 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1))]
("Alan" "is" "blue" "-")
((triple3 ((triple5 triple3 triple1) -> (rule7 % int2))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
True
8
proof
[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5))]
("Alan" "is" "rough" "+")
((((triple3 ((triple5 triple3 triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not kind.
False
12
inv-proof
[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) ((triple5 triple3 triple1) -> rule7) triple5) -> rule4))]
("Alan" "is" "kind" "-")
((((triple3 ((triple5 triple3 triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5 triple3 triple1) -> (rule7 % int3)) triple5) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
True
11
proof
[(((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6) OR ((((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2) triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6))]
("Alan" "is" "nice" "+")
((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple4 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Alan is not nice.
False
11
inv-proof
[(((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6) OR ((((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2) triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6))]
("Alan" "is" "nice" "-")
((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple4 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2 OR ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2))] Alan is young.[(triple1)] Bob is young.[(triple6)] Charlie is red.[(triple7)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is red.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] @1: Alan is round.[(((triple5 triple3 triple1) -> rule7))] Fred is kind.[(((triple11 triple9 triple12) -> rule4))] Fred is rough.[(((triple11 triple12) -> rule5))] @2: Alan is blue.[(((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1))] Fred is nice.[(((triple10 triple8 ((triple11 triple12) -> rule5)) -> rule6))] @3: Alan is kind.[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) ((triple5 triple3 triple1) -> rule7) triple5) -> rule4))] Alan is rough.[(((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5))] @4: Alan is nice.[(((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6) OR ((((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple4 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2) triple1 ((((triple3 ((triple5 triple3 triple1) -> rule7)) -> rule1) triple5) -> rule5)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
((((triple3 ((triple5 triple3 triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple4 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Alan is round.
("Alan" "is" "round" "+")
((triple5 triple3 triple1) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple11 triple9 triple12) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 triple12) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple5 triple3 triple1) -> (rule7 % int2))) -> (rule1 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple10 triple8 ((triple11 triple12) -> (rule5 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple3 ((triple5 triple3 triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5 triple3 triple1) -> (rule7 % int3)) triple5) -> (rule4 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
((((triple3 ((triple5 triple3 triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
((((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple4 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule2 % int2)) triple1 ((((triple3 ((triple5 triple3 triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule5 % int3))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Alan was young, had red eyes and green hair; On top of that he was big and had cold hands.
Bob was born only a few years ago so he is young.
Red Charlie is what folks call him, because he is quite red.
Fred, who is young, round, red, and blue, is also quite big in size.
We called someone with green, round eyes, blue for some reason.
A blue person who is feeling a bit rough and cold will be wearing red.
A big, kind someone could also be cold in a green dress.
It's said that any person with blue skin, round bones, and big feet is kind.
Blue people who are big tend to be rough.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
A big, young aged person that is green will be round shaped.