Alan is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Eric is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Eric is big and young so he can handle it. Big Harry is nice but also rough. Any green person is a round person. Lucky for us, people that are round and red are kind to strangers. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. A kind person who is green is usually round. Kind people,though green,are cold.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Eric is red.
True
1
proof
[(triple6)]
("Eric" "is" "red" "+")
triple6
Eric is not red.
False
1
inv-proof
[(triple6)]
("Eric" "is" "red" "-")
triple6
Alan is round.
True
2
proof
[(((triple3) -> rule1) OR ((triple2 triple3) -> rule4) OR ((triple2 triple4 triple1) -> rule3) OR ((triple2 ((triple2 triple3) -> rule5) triple1) -> rule3))]
("Alan" "is" "round" "+")
((triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 ((triple2 triple3) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not round.
False
2
inv-proof
[(((triple3) -> rule1) OR ((triple2 triple3) -> rule4) OR ((triple2 triple4 triple1) -> rule3) OR ((triple2 ((triple2 triple3) -> rule5) triple1) -> rule3))]
("Alan" "is" "round" "-")
((triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 ((triple2 triple3) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is kind.
True
4
proof
[(((((triple7) -> rule1) triple6) -> rule2))]
("Eric" "is" "kind" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not kind.
False
4
inv-proof
[(((((triple7) -> rule1) triple6) -> rule2))]
("Eric" "is" "kind" "-")
((((triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
True
6
proof
[(((((((triple7) -> rule1) triple6) -> rule2) triple7) -> rule5))]
("Eric" "is" "cold" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not cold.
False
6
inv-proof
[(((((((triple7) -> rule1) triple6) -> rule2) triple7) -> rule5))]
("Eric" "is" "cold" "-")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is cold.[(triple4 OR ((triple2 triple3) -> rule5) OR ((((((triple3) -> rule1) triple1) -> rule2) triple3) -> rule5))] Alan is green.[(triple3)] Alan is kind.[(triple2 OR ((((triple3) -> rule1) triple1) -> rule2))] Alan is red.[(triple1)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is red.[(triple6)] Eric is young.[(triple5)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] @1: Alan is round.[(((triple3) -> rule1) OR ((triple2 triple3) -> rule4) OR ((triple2 triple4 triple1) -> rule3) OR ((triple2 ((triple2 triple3) -> rule5) triple1) -> rule3))] Eric is round.[(((triple7) -> rule1))] @2: Eric is kind.[(((((triple7) -> rule1) triple6) -> rule2))] @3: Eric is cold.[(((((((triple7) -> rule1) triple6) -> rule2) triple7) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
((triple2 triple3) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((((((triple3) -> (rule1 % int3)) triple1) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 triple4 triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple2 ((triple2 triple3) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple7) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Eric is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Eric is big and young so he can handle it.
Big Harry is nice but also rough.
Any green person is a round person.
Lucky for us, people that are round and red are kind to strangers.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
A kind person who is green is usually round.
Kind people,though green,are cold.