That guy Alan is big, but he's always kind to little ones. I was surprised at how green and blue young, round Eric is. Harry gets red when he is mad and tends to act very cold. Green, nice people who have round shapes are going to be kind to you. It's a fact that young people are red people. I see it all the time, nice big people make equal a cold person. A kind person who is green is usually round. A young person with cold, rough skin will be red as well. People who are red and green are also nice. Young people are rough.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Eric is not blue.
False
1
inv-proof
[(triple6)]
("Eric" "is" "blue" "-")
triple6
Eric is rough.
True
2
proof
[(((triple3) -> rule7))]
("Eric" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Eric" "is" "red" "-")
((triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
True
4
proof
[(((triple5 ((triple3) -> rule2)) -> rule6))]
("Eric" "is" "nice" "+")
((triple5 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not nice.
False
4
inv-proof
[(((triple5 ((triple3) -> rule2)) -> rule6))]
("Eric" "is" "nice" "-")
((triple5 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
7
proof
[(((triple5 triple4 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule1))]
("Eric" "is" "kind" "+")
((triple5 triple4 ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not kind.
False
7
inv-proof
[(((triple5 triple4 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule1))]
("Eric" "is" "kind" "-")
((triple5 triple4 ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Harry is cold.[(triple8)] Harry is red.[(triple7)] @1: Eric is red.[(((triple3) -> rule2))] Eric is rough.[(((triple3) -> rule7))] @2: Eric is nice.[(((triple5 ((triple3) -> rule2)) -> rule6))] @3: Eric is kind.[(((triple5 triple4 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
((triple3) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 triple4 ((triple5 ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
That guy Alan is big, but he's always kind to little ones.
I was surprised at how green and blue young, round Eric is.
Harry gets red when he is mad and tends to act very cold.
Green, nice people who have round shapes are going to be kind to you.
It's a fact that young people are red people.
I see it all the time, nice big people make equal a cold person.
A kind person who is green is usually round.
A young person with cold, rough skin will be red as well.
People who are red and green are also nice.
Young people are rough.