Alan is a rough but very kind and blue person. Bob ate some rotten meat and now feels green. Charlie is a person both green and big. Gary is both big and round, with blue features. People who are nice, round and wearing blue will have red cheeks. A rough and kind person is big. A rough, blue person is often said to be nice. Big people are also round people. A person that is rough and round shaped features are going to be red. Round, nice people are normally cold and nasty. If you run into a cold and kind person, they are always big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple6)]
("Charlie" "is" "big" "+")
triple6
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Alan is big.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple6) -> rule4))]
("Charlie" "is" "round" "-")
((triple6) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Alan is round.
True
4
proof
[(((((triple2 triple1) -> rule2)) -> rule4))]
("Alan" "is" "round" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not round.
False
4
inv-proof
[(((((triple2 triple1) -> rule2)) -> rule4))]
("Alan" "is" "round" "-")
((((triple2 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
True
8
proof
[(((((((triple2 triple1) -> rule2)) -> rule4) ((triple3 triple1) -> rule3)) -> rule6))]
("Alan" "is" "cold" "+")
((((((triple2 triple1) -> (rule2 % int4))) -> (rule4 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not red.
False
6
inv-proof
[(((((((triple2 triple1) -> rule2)) -> rule4) triple1) -> rule5) OR ((((triple3 triple1) -> rule3) ((((triple2 triple1) -> rule2)) -> rule4) triple3) -> rule1))]
("Alan" "is" "red" "-")
((((((triple2 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple3 triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is round.[(triple7 OR ((triple9) -> rule4))] @1: Alan is big.[(((triple2 triple1) -> rule2))] Alan is nice.[(((triple3 triple1) -> rule3))] Charlie is round.[(((triple6) -> rule4))] @2: Alan is round.[(((((triple2 triple1) -> rule2)) -> rule4))] @3: Alan is cold.[(((((((triple2 triple1) -> rule2)) -> rule4) ((triple3 triple1) -> rule3)) -> rule6))] Alan is red.[(((((((triple2 triple1) -> rule2)) -> rule4) triple1) -> rule5) OR ((((triple3 triple1) -> rule3) ((((triple2 triple1) -> rule2)) -> rule4) triple3) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple9) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple1) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple6) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple2 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((((triple2 triple1) -> (rule2 % int4))) -> (rule4 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
((((((triple2 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((((triple3 triple1) -> (rule3 % int4)) ((((triple2 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is a rough but very kind and blue person.
Bob ate some rotten meat and now feels green.
Charlie is a person both green and big.
Gary is both big and round, with blue features.
People who are nice, round and wearing blue will have red cheeks.
A rough and kind person is big.
A rough, blue person is often said to be nice.
Big people are also round people.
A person that is rough and round shaped features are going to be red.
Round, nice people are normally cold and nasty.
If you run into a cold and kind person, they are always big.