Alan is red when he is rough and blue when he is kind. Eric is rough, round and young but also red. Fred is blue just like his dog. Fred is rough and round enough for the dog to use him as an exercise wheel. All kind, red, and young people are also nice. A cold and young aged person will be big for sure. A young person with rough red skin is downhearted and blue. Young round blue people are also big people. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Eric is rough.
True
1
proof
[(triple7)]
("Eric" "is" "rough" "+")
triple7
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Eric is blue.
True
4
proof
[(((triple7 triple5 triple8) -> rule3))]
("Eric" "is" "blue" "+")
((triple7 triple5 triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple7 triple5 triple8) -> rule3))]
("Eric" "is" "blue" "-")
((triple7 triple5 triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
True
7
proof
[(((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4))]
("Eric" "is" "big" "+")
((triple6 ((triple7 triple5 triple8) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not big.
False
7
inv-proof
[(((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4))]
("Eric" "is" "big" "-")
((triple6 ((triple7 triple5 triple8) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
True
10
proof
[(((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4)) -> rule5))]
("Eric" "is" "nice" "+")
((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> (rule3 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
False
10
inv-proof
[(((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4)) -> rule5))]
("Eric" "is" "nice" "-")
((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> (rule3 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Fred is blue.[(triple11)] Fred is rough.[(triple10)] Fred is round.[(triple9)] @1: Eric is blue.[(((triple7 triple5 triple8) -> rule3))] @2: Eric is big.[(((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4))] @3: Eric is nice.[(((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> rule3) triple5) -> rule4)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple5 triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple6 ((triple7 triple5 triple8) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple6 ((triple6 ((triple7 triple5 triple8) -> (rule3 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Alan is red when he is rough and blue when he is kind.
Eric is rough, round and young but also red.
Fred is blue just like his dog; Fred is rough and round enough for the dog to use him as an exercise wheel.
All kind, red, and young people are also nice.
A cold and young aged person will be big for sure.
A young person with rough red skin is downhearted and blue.
Young round blue people are also big people.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.