Eric is interestingly colored red and blue, and is also very kind. Fred ate some rotten meat and now feels green. Gary, who is a young, rough person, is also a kind and cold guy. Harry has green teeth and rough skin. People also notice his blue eyes. A kind person that is also red and rough is usually also nice. Blue and red people are often rough. There could be a round someone with red hair wearing blue pants. Someone with rough, big traits will be a green person, as well. A blue colored person who is very nice and kind will be round shaped. A green and red colored person who has a nice temperament will be cold.
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and nice and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Eric is rough.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Eric" "is" "rough" "+")
((triple3 triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Eric" "is" "rough" "-")
((triple3 triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
True
6
proof
[(((((triple3 triple1) -> rule2) triple1 triple2) -> rule1))]
("Eric" "is" "nice" "+")
((((triple3 triple1) -> (rule2 % int2)) triple1 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((((triple3 triple1) -> rule2) triple1 triple2) -> rule1))]
("Eric" "is" "nice" "-")
((((triple3 triple1) -> (rule2 % int2)) triple1 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
True
9
proof
[(((triple3 ((((triple3 triple1) -> rule2) triple1 triple2) -> rule1) triple2) -> rule5))]
("Eric" "is" "round" "+")
((triple3 ((((triple3 triple1) -> (rule2 % int3)) triple1 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not round.
False
9
inv-proof
[(((triple3 ((((triple3 triple1) -> rule2) triple1 triple2) -> rule1) triple2) -> rule5))]
("Eric" "is" "round" "-")
((triple3 ((((triple3 triple1) -> (rule2 % int3)) triple1 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Eric is blue.[(triple3)] Eric is kind.[(triple2)] Eric is red.[(triple1)] Fred is green.[(triple4)] Gary is cold.[(triple8)] Gary is kind.[(triple7)] Gary is rough.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] @1: Eric is rough.[(((triple3 triple1) -> rule2))] @2: Eric is nice.[(((((triple3 triple1) -> rule2) triple1 triple2) -> rule1))] @3: Eric is round.[(((triple3 ((((triple3 triple1) -> rule2) triple1 triple2) -> rule1) triple2) -> rule5))]
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple3 triple1) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple3 triple1) -> (rule2 % int2)) triple1 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple3 ((((triple3 triple1) -> (rule2 % int3)) triple1 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is interestingly colored red and blue, and is also very kind.
Fred ate some rotten meat and now feels green.
Gary, who is a young, rough person, is also a kind and cold guy.
Harry has green teeth and rough skin; People also notice his blue eyes.
A kind person that is also red and rough is usually also nice.
Blue and red people are often rough.
There could be a round someone with red hair wearing blue pants.
Someone with rough, big traits will be a green person, as well.
A blue colored person who is very nice and kind will be round shaped.
A green and red colored person who has a nice temperament will be cold.