That rough but kind guy is Alan, the green one. Even though Eric is big and round, he is cold much of the time. They always call him rough Gary. You'll always find a young, kind and red person to be a cold person, too. A red colored person who is kind and feels cold is usually considered nice. Blue kind people are almost always nice to others. Often, when you meet a rough person with red skin, you'll see that they are young too. Whenever you are around kind and green people, you will notice they are very red. People that feel green are cold to people that try to help them. Young people that are nice and green tend to be blue.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Eric is cold.
True
1
proof
[(triple5)]
("Eric" "is" "cold" "+")
triple5
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Alan is cold.
True
2
proof
[(((triple3) -> rule6) OR ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1))]
("Alan" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not cold.
False
2
inv-proof
[(((triple3) -> rule6) OR ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1))]
("Alan" "is" "cold" "-")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is nice.
True
7
proof
[(((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) OR ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2))]
("Alan" "is" "nice" "+")
((((triple2 triple3) -> (rule5 % int3)) triple2 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((triple2 triple3) -> (rule5 % int4)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2 triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is not nice.
False
7
inv-proof
[(((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) OR ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2))]
("Alan" "is" "nice" "-")
((((triple2 triple3) -> (rule5 % int3)) triple2 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((triple2 triple3) -> (rule5 % int4)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2 triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is blue.
True
14
proof
[(((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) triple3) -> rule7) OR ((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2) triple3) -> rule7))]
("Alan" "is" "blue" "+")
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 triple3) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
Alan is not blue.
False
14
inv-proof
[(((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) triple3) -> rule7) OR ((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2) triple3) -> rule7))]
("Alan" "is" "blue" "-")
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 triple3) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is round.[(triple4)] Gary is rough.[(triple7)] @1: Alan is cold.[(((triple3) -> rule6) OR ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1))] Alan is red.[(((triple2 triple3) -> rule5))] @2: Alan is nice.[(((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) OR ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2))] Alan is young.[(((triple1 ((triple2 triple3) -> rule5)) -> rule4))] @3: Alan is blue.[(((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple3) -> rule6)) -> rule2) triple3) -> rule7) OR ((((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((((triple2 triple3) -> rule5) triple2 ((triple2 ((triple1 ((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule1)) -> rule2) triple3) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
((triple2 triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple3) -> (rule5 % int3)) triple2 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
((((triple2 triple3) -> (rule5 % int4)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2 triple3) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
((triple1 ((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
((((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule5 % int5)) triple2 ((triple2 ((triple1 ((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 triple3) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
That rough but kind guy is Alan, the green one.
Even though Eric is big and round, he is cold much of the time.
They always call him rough Gary.
You'll always find a young, kind and red person to be a cold person, too.
A red colored person who is kind and feels cold is usually considered nice.
Blue kind people are almost always nice to others.
Often, when you meet a rough person with red skin, you'll see that they are young too.
Whenever you are around kind and green people, you will notice they are very red.
People that feel green are cold to people that try to help them.
Young people that are nice and green tend to be blue.