Alan is a person both green and big. That rough but kind guy is Charlie, the green one. Even though Eric is green with envy he is nice with rosy red cheeks. Because Fred gets cold easily he tends to appear round from bundling up. Surprisingly, all the kind, green people were also big. People who are round, blue and cold are usually nice. A quite nice person will certainly be red. A green and quite rough person will also be blue. People that are big but also green, may ultimately be very nice. Young people are rough. A person who is young and cold and green is kind.
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Eric is not red.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule3))]
("Eric" "is" "red" "-")
triple6
((triple7) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Alan is nice.
True
3
proof
[(((triple2 triple1) -> rule5))]
("Alan" "is" "nice" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Charlie" "is" "big" "-")
((triple4 triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple4 triple5) -> rule1) triple5) -> rule5))]
("Charlie" "is" "nice" "+")
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((((triple4 triple5) -> rule1) triple5) -> rule5))]
("Charlie" "is" "nice" "-")
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
True
6
proof
[(((((((triple4 triple5) -> rule1) triple5) -> rule5)) -> rule3))]
("Charlie" "is" "red" "+")
((((((triple4 triple5) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not red.
False
6
inv-proof
[(((((((triple4 triple5) -> rule1) triple5) -> rule5)) -> rule3))]
("Charlie" "is" "red" "-")
((((((triple4 triple5) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Eric" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not red.
Unknown
inv-rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Eric" "is" "big" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6 OR ((triple7) -> rule3))] Fred is cold.[(triple10)] Fred is round.[(triple9)] @1: Alan is nice.[(((triple2 triple1) -> rule5))] Charlie is big.[(((triple4 triple5) -> rule1))] Charlie is blue.[(((triple3 triple5) -> rule4))] @2: Alan is red.[(((((triple2 triple1) -> rule5)) -> rule3))] Charlie is nice.[(((((triple4 triple5) -> rule1) triple5) -> rule5))] @3: Charlie is red.[(((((((triple4 triple5) -> rule1) triple5) -> rule5)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
((triple7) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple5) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple4 triple5) -> (rule1 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan is a person both green and big.
That rough but kind guy is Charlie, the green one.
Even though Eric is green with envy he is nice with rosy red cheeks.
Because Fred gets cold easily he tends to appear round from bundling up.
Surprisingly, all the kind, green people were also big.
People who are round, blue and cold are usually nice.
A quite nice person will certainly be red.
A green and quite rough person will also be blue.
People that are big but also green, may ultimately be very nice.
Young people are rough.
A person who is young and cold and green is kind.