Young Eric has red, rough skin, but is nice and kind. Fred is a rough guy but he is also red, nice, green and big. They always call him rough Harry. Anyone who manages to be round, blue, and green must be pretty big. People that are big and cold are blue as well. If you are green you are also kind. I see it all the time, nice big people make equal a cold person. If a nice person is round shaped, they feel blue about it. A young person who is red a kind is also usually big.
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is rough.
True
1
proof
[(triple2)]
("Eric" "is" "rough" "+")
triple2
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Eric is big.
True
4
proof
[(((triple3 triple1 triple5) -> rule6))]
("Eric" "is" "big" "+")
((triple3 triple1 triple5) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple8 triple10) -> rule4))]
("Fred" "is" "cold" "-")
((triple8 triple10) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
True
5
proof
[(((triple10 ((triple8 triple10) -> rule4)) -> rule2))]
("Fred" "is" "blue" "+")
((triple10 ((triple8 triple10) -> (rule4 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple10 ((triple8 triple10) -> rule4)) -> rule2))]
("Fred" "is" "blue" "-")
((triple10 ((triple8 triple10) -> (rule4 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Eric is blue.
True
11
proof
[(((((triple3 triple1 triple5) -> rule6) ((triple4 ((triple3 triple1 triple5) -> rule6)) -> rule4)) -> rule2))]
("Eric" "is" "blue" "+")
((((triple3 triple1 triple5) -> (rule6 % int3)) ((triple4 ((triple3 triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not blue.
False
11
inv-proof
[(((((triple3 triple1 triple5) -> rule6) ((triple4 ((triple3 triple1 triple5) -> rule6)) -> rule4)) -> rule2))]
("Eric" "is" "blue" "-")
((((triple3 triple1 triple5) -> (rule6 % int3)) ((triple4 ((triple3 triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Harry is rough.[(triple11)] @1: Eric is big.[(((triple3 triple1 triple5) -> rule6))] Fred is cold.[(((triple8 triple10) -> rule4))] Fred is kind.[(((triple9) -> rule3))] @2: Eric is cold.[(((triple4 ((triple3 triple1 triple5) -> rule6)) -> rule4))] Fred is blue.[(((triple10 ((triple8 triple10) -> rule4)) -> rule2))] @3: Eric is blue.[(((((triple3 triple1 triple5) -> rule6) ((triple4 ((triple3 triple1 triple5) -> rule6)) -> rule4)) -> rule2))]
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple1 triple5) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 triple10) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple9) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple4 ((triple3 triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple10 ((triple8 triple10) -> (rule4 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple3 triple1 triple5) -> (rule6 % int3)) ((triple4 ((triple3 triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Young Eric has red, rough skin, but is nice and kind.
Fred is a rough guy but he is also red, nice, green and big.
They always call him rough Harry.
Anyone who manages to be round, blue, and green must be pretty big.
People that are big and cold are blue as well.
If you are green you are also kind.
I see it all the time, nice big people make equal a cold person.
If a nice person is round shaped, they feel blue about it.
A young person who is red a kind is also usually big.