Bob loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Charlie is cold and blue. He is round and has red rosy cheeks. He is green with envy of those who are happy. Eric is known to be rough and green. Because someone is green and kind they are extremely nice to people. Red, kind, young people will be rough people, too. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. People with rough red and blue skin are young. Big people that tend to be nice and blue, may also be a little rough to others.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Eric is not green.
False
1
inv-proof
[(triple10)]
("Eric" "is" "green" "-")
triple10
Charlie is big.
True
4
proof
[(((triple5 triple8 triple4) -> rule3))]
("Charlie" "is" "big" "+")
((triple5 triple8 triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
4
inv-proof
[(((triple5 triple8 triple4) -> rule3))]
("Charlie" "is" "big" "-")
((triple5 triple8 triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
True
6
proof
[(((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple6 ((triple5 triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "-")
((triple6 ((triple5 triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
True
12
proof
[(((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6))]
("Charlie" "is" "rough" "+")
((((triple5 triple8 triple4) -> (rule3 % int3)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not rough.
False
12
inv-proof
[(((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple5 triple8 triple4) -> (rule3 % int3)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
True
15
proof
[(((((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6) triple5 triple8) -> rule5))]
("Charlie" "is" "young" "+")
((((((triple5 triple8 triple4) -> (rule3 % int4)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple5 triple8) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not young.
False
15
inv-proof
[(((((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6) triple5 triple8) -> rule5))]
("Charlie" "is" "young" "-")
((((((triple5 triple8 triple4) -> (rule3 % int4)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple5 triple8) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Eric is green.[(triple10)] Eric is rough.[(triple9)] @1: Charlie is big.[(((triple5 triple8 triple4) -> rule3))] @2: Charlie is nice.[(((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4))] @3: Charlie is rough.[(((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6))] @4: Charlie is young.[(((((((triple5 triple8 triple4) -> rule3) ((triple6 ((triple5 triple8 triple4) -> rule3)) -> rule4) triple8) -> rule6) triple5 triple8) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple8 triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 ((triple5 triple8 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5 triple8 triple4) -> (rule3 % int3)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple5 triple8 triple4) -> (rule3 % int4)) ((triple6 ((triple5 triple8 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple5 triple8) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Bob loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Charlie is cold and blue; He is round and has red rosy cheeks; He is green with envy of those who are happy.
Eric is known to be rough and green.
Because someone is green and kind they are extremely nice to people.
Red, kind, young people will be rough people, too.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
People with rough red and blue skin are young.
Big people that tend to be nice and blue, may also be a little rough to others.