Nice, but round, Alan has been said to be cold. Charlie is a young guy who is also round, red, kind, cold and blue. From a certain angle Gary is blue but he is young so maybe that will go away. A big young person that is green will be cold to others. Big people who are red in color are often nice. Someone can be very nice and kind, and this means they are also green. A rough, blue person is often said to be nice. When a person's traits are to be big, blue and cold, they will also have a red trait. Generally, round and kind people are big. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Charlie is not cold.
False
1
inv-proof
[(triple8 OR ((((((((triple5 triple7) -> rule6) triple6) -> rule2) triple7) -> rule3) triple4 ((triple5 triple7) -> rule6)) -> rule1))]
("Charlie" "is" "cold" "-")
triple8
((((((((triple5 triple7) -> (rule6 % int4)) triple6) -> (rule2 % int3)) triple7) -> (rule3 % int2)) triple4 ((triple5 triple7) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is big.
True
3
proof
[(((triple5 triple7) -> rule6))]
("Charlie" "is" "big" "+")
((triple5 triple7) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple5 triple7) -> rule6))]
("Charlie" "is" "big" "-")
((triple5 triple7) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple5 triple7) -> rule6) triple6) -> rule2) OR ((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple5 triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple7) -> (rule6 % int3)) ((((triple5 triple7) -> (rule6 % int3)) triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not nice.
False
5
inv-proof
[(((((triple5 triple7) -> rule6) triple6) -> rule2) OR ((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple5 triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple7) -> (rule6 % int3)) ((((triple5 triple7) -> (rule6 % int3)) triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
True
7
proof
[(((((((triple5 triple7) -> rule6) triple6) -> rule2) triple7) -> rule3) OR ((((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2) triple7) -> rule3))]
("Charlie" "is" "green" "+")
((((((triple5 triple7) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5 triple7) -> (rule6 % int4)) ((((triple5 triple7) -> (rule6 % int4)) triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not green.
False
7
inv-proof
[(((((((triple5 triple7) -> rule6) triple6) -> rule2) triple7) -> rule3) OR ((((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2) triple7) -> rule3))]
("Charlie" "is" "green" "-")
((((((triple5 triple7) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5 triple7) -> (rule6 % int4)) ((((triple5 triple7) -> (rule6 % int4)) triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple9)] Charlie is cold.[(triple8 OR ((((((((triple5 triple7) -> rule6) triple6) -> rule2) triple7) -> rule3) triple4 ((triple5 triple7) -> rule6)) -> rule1))] Charlie is kind.[(triple7)] Charlie is red.[(triple6 OR ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5))] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Gary is blue.[(triple11)] Gary is young.[(triple10)] @1: Charlie is big.[(((triple5 triple7) -> rule6))] @2: Charlie is nice.[(((((triple5 triple7) -> rule6) triple6) -> rule2) OR ((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2))] @3: Charlie is green.[(((((((triple5 triple7) -> rule6) triple6) -> rule2) triple7) -> rule3) OR ((((((triple5 triple7) -> rule6) ((((triple5 triple7) -> rule6) triple8 triple9) -> rule5)) -> rule2) triple7) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
((((((((triple5 triple7) -> (rule6 % int4)) triple6) -> (rule2 % int3)) triple7) -> (rule3 % int2)) triple4 ((triple5 triple7) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
((((triple5 triple7) -> (rule6 % int2)) triple8 triple9) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple7) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple5 triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple7) -> (rule6 % int3)) ((((triple5 triple7) -> (rule6 % int3)) triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple5 triple7) -> (rule6 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5 triple7) -> (rule6 % int4)) ((((triple5 triple7) -> (rule6 % int4)) triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Nice, but round, Alan has been said to be cold.
Charlie is a young guy who is also round, red, kind, cold and blue.
From a certain angle Gary is blue but he is young so maybe that will go away.
A big young person that is green will be cold to others.
Big people who are red in color are often nice.
Someone can be very nice and kind, and this means they are also green.
A rough, blue person is often said to be nice.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Generally, round and kind people are big.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.