Even though Alan is still young, he is already very round.  Alan is a nice guy and when he gets cold his skin turns blue. Charlie wears all blue. Big Fred is still young so it's easy for him to be kind. From a certain angle Gary is blue but he is young so maybe that will go away. Rough people are often always nice. Whenever you are around kind and green people, you will notice they are very red. A person who is green and rough and round is also young. Being big and kind like a gentle giant can make anyone blue. Big kind people are usually cold. People that are blue, cold, and big, are rather rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Alan is round.
True
1
proof
[(triple2)]
("Alan" "is" "round" "+")
triple2
Fred is not young.
False
1
inv-proof
[(triple7)]
("Fred" "is" "young" "-")
triple7
Fred is blue.
True
3
proof
[(((triple9 triple8) -> rule4))]
("Fred" "is" "blue" "+")
((triple9 triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Fred" "is" "cold" "-")
((triple8 triple9) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
True
8
proof
[(((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6))]
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not rough.
False
8
inv-proof
[(((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6))]
("Fred" "is" "rough" "-")
((((triple9 triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
True
9
proof
[(((((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6)) -> rule1))]
("Fred" "is" "nice" "+")
((((((triple9 triple8) -> (rule4 % int4)) ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not nice.
False
9
inv-proof
[(((((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6)) -> rule1))]
("Fred" "is" "nice" "-")
((((((triple9 triple8) -> (rule4 % int4)) ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Fred is big.[(triple9)] Fred is kind.[(triple8)] Fred is young.[(triple7)] Gary is blue.[(triple11)] Gary is young.[(triple10)] @1: Fred is blue.[(((triple9 triple8) -> rule4))] Fred is cold.[(((triple8 triple9) -> rule5))] @2: Fred is rough.[(((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6))] @3: Fred is nice.[(((((((triple9 triple8) -> rule4) ((triple8 triple9) -> rule5) triple9) -> rule6)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 triple9) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple9 triple8) -> (rule4 % int4)) ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Even though Alan is still young, he is already very round; Alan is a nice guy and when he gets cold his skin turns blue.
Charlie wears all blue.
Big Fred is still young so it's easy for him to be kind.
From a certain angle Gary is blue but he is young so maybe that will go away.
Rough people are often always nice.
Whenever you are around kind and green people, you will notice they are very red.
A person who is green and rough and round is also young.
Being big and kind like a gentle giant can make anyone blue.
Big kind people are usually cold.
People that are blue, cold, and big, are rather rough.