Bob appears green and blue, he is also rather round and kind. Charlie is a round shaped but rough person, and is nice with the color blue. Dave ate some rotten meat and now feels green. Gary has a round face and is very nice. Nice people that are blue because they are cold turn green with envy. Big people that are cold will show you how rough they actually are. A person that is blue green and nice are that way because they are still young. It's inevitable that young, green people are big. You can find someone that is young and rough but kind and nice. A round and blue individual will also be a cold individual. Anyone who is big and cold and also kind is definitely red on top if it.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold and kind then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Gary is not round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Charlie is cold.
True
3
proof
[(((triple5 triple8) -> rule6))]
("Charlie" "is" "cold" "+")
((triple5 triple8) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple1 triple4) -> rule6))]
("Bob" "is" "cold" "-")
((triple1 triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is green.
True
6
proof
[(((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1))]
("Charlie" "is" "green" "+")
((triple8 triple7 ((triple5 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1))]
("Charlie" "is" "green" "-")
((triple8 triple7 ((triple5 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
True
9
proof
[(((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3))]
("Charlie" "is" "young" "+")
((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not young.
False
9
inv-proof
[(((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3))]
("Charlie" "is" "young" "-")
((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
True
16
proof
[(((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4))]
("Charlie" "is" "big" "+")
((((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not big.
False
16
inv-proof
[(((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4))]
("Charlie" "is" "big" "-")
((((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is big.
Unknown
rconc
[@3: Bob is big.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not rough.
Unknown
inv-rconc
[@4: Bob is rough.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple8)] Charlie is nice.[(triple7)] Charlie is rough.[(triple6 OR ((((triple5 triple8) -> rule6) ((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4)) -> rule2))] Charlie is round.[(triple5)] Dave is green.[(triple9)] Gary is nice.[(triple11)] Gary is round.[(triple10)] @1: Bob is cold.[(((triple1 triple4) -> rule6))] Charlie is cold.[(((triple5 triple8) -> rule6))] @2: Charlie is green.[(((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1))] @3: Charlie is young.[(((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3))] @4: Charlie is big.[(((((triple8 ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1) triple7) -> rule3) ((triple8 triple7 ((triple5 triple8) -> rule6)) -> rule1)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
((((triple5 triple8) -> (rule6 % int5)) ((((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) ((triple8 triple7 ((triple5 triple8) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple4) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple8) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple8 triple7 ((triple5 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((triple8 ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 ((triple5 triple8) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Bob appears green and blue, he is also rather round and kind.
Charlie is a round shaped but rough person, and is nice with the color blue.
Dave ate some rotten meat and now feels green.
Gary has a round face and is very nice.
Nice people that are blue because they are cold turn green with envy.
Big people that are cold will show you how rough they actually are.
A person that is blue green and nice are that way because they are still young.
It's inevitable that young, green people are big.
You can find someone that is young and rough but kind and nice.
A round and blue individual will also be a cold individual.
Anyone who is big and cold and also kind is definitely red on top if it.