Eric, who is a young, rough person, is also a kind and cold guy. When you talk about Fred, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Gary is sometimes cold and blue, but he can also be kind and big. You will find that a big, young, blue person is also quite round. A big person in size will definitely be rough. A person who is green and rough and round is also young. If someone is a bit rough, but also nice, then they qualify as round. Kind people who are also rough are young. Blue, red, young people are always going to be kind people, too. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Eric is not cold.
False
1
inv-proof
[(triple4)]
("Eric" "is" "cold" "-")
triple4
Gary is rough.
True
2
proof
[(((triple11) -> rule2))]
("Gary" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple11) -> rule2))]
("Gary" "is" "rough" "-")
((triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
True
4
proof
[(((((triple11) -> rule2) triple8) -> rule5))]
("Gary" "is" "young" "+")
((((triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not young.
False
4
inv-proof
[(((((triple11) -> rule2) triple8) -> rule5))]
("Gary" "is" "young" "-")
((((triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
True
7
proof
[(((((((triple11) -> rule2) triple8) -> rule5) triple11 triple10) -> rule1))]
("Gary" "is" "round" "+")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple11 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not round.
False
7
inv-proof
[(((((((triple11) -> rule2) triple8) -> rule5) triple11 triple10) -> rule1))]
("Gary" "is" "round" "-")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple11 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "kind" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Eric is cold.[(triple4)] Eric is kind.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1 OR ((triple2 triple3) -> rule5))] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] @1: Fred is round.[(((triple6 triple5) -> rule4))] Gary is rough.[(((triple11) -> rule2))] @2: Gary is young.[(((((triple11) -> rule2) triple8) -> rule5))] @3: Gary is round.[(((((((triple11) -> rule2) triple8) -> rule5) triple11 triple10) -> rule1))]
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
((triple2 triple3) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
((triple6 triple5) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple11) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((((triple11) -> (rule2 % int3)) triple8) -> (rule5 % int2)) triple11 triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Eric, who is a young, rough person, is also a kind and cold guy.
When you talk about Fred, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Gary is sometimes cold and blue, but he can also be kind and big.
You will find that a big, young, blue person is also quite round.
A big person in size will definitely be rough.
A person who is green and rough and round is also young.
If someone is a bit rough, but also nice, then they qualify as round.
Kind people who are also rough are young.
Blue, red, young people are always going to be kind people, too.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.