Alan gets red when he is mad and tends to act very cold. Charlie happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. Eric is a kind and red colored guy. That man standing next to you with a big round body goes by the name of Fred. People who are big and kind are also round. A kind red person is also a blue person. A green colored, nice and young person will be big shaped. People who are blue and green are nice. When somebody is round, kind and blue, you know they'll also be red. People that are red and blue and green at the same time have a reason to be cold. Young,cold and blue people are mostly round.
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Fred is not big.
False
1
inv-proof
[(triple11)]
("Fred" "is" "big" "-")
triple11
Eric is blue.
True
3
proof
[(((triple9 triple8) -> rule2))]
("Eric" "is" "blue" "+")
((triple9 triple8) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple4 triple7) -> rule1))]
("Charlie" "is" "round" "-")
((triple4 triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
True
6
proof
[(((((triple4 triple7) -> rule1) triple4 triple6) -> rule5))]
("Charlie" "is" "red" "+")
((((triple4 triple7) -> (rule1 % int2)) triple4 triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((((triple4 triple7) -> rule1) triple4 triple6) -> rule5))]
("Charlie" "is" "red" "-")
((((triple4 triple7) -> (rule1 % int2)) triple4 triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
True
9
proof
[(((((((triple4 triple7) -> rule1) triple4 triple6) -> rule5) triple6 triple5) -> rule6))]
("Charlie" "is" "cold" "+")
((((((triple4 triple7) -> (rule1 % int3)) triple4 triple6) -> (rule5 % int2)) triple6 triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((((((triple4 triple7) -> rule1) triple4 triple6) -> rule5) triple6 triple5) -> rule6))]
("Charlie" "is" "cold" "-")
((((((triple4 triple7) -> (rule1 % int3)) triple4 triple6) -> (rule5 % int2)) triple6 triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3 OR ((triple6 triple5) -> rule4))] Eric is kind.[(triple9)] Eric is red.[(triple8)] Fred is big.[(triple11)] Fred is round.[(triple10)] @1: Charlie is round.[(((triple4 triple7) -> rule1))] Eric is blue.[(((triple9 triple8) -> rule2))] @2: Charlie is red.[(((((triple4 triple7) -> rule1) triple4 triple6) -> rule5))] @3: Charlie is cold.[(((((((triple4 triple7) -> rule1) triple4 triple6) -> rule5) triple6 triple5) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple6 triple5) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple9 triple8) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple7) -> (rule1 % int2)) triple4 triple6) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple4 triple7) -> (rule1 % int3)) triple4 triple6) -> (rule5 % int2)) triple6 triple5) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan gets red when he is mad and tends to act very cold.
Charlie happens to be a big man who is very nice and kind; he has one green eye and the other one is blue.
Eric is a kind and red colored guy.
That man standing next to you with a big round body goes by the name of Fred.
People who are big and kind are also round.
A kind red person is also a blue person.
A green colored, nice and young person will be big shaped.
People who are blue and green are nice.
When somebody is round, kind and blue, you know they'll also be red.
People that are red and blue and green at the same time have a reason to be cold.
Young,cold and blue people are mostly round.