Eric is known to be rough and green. Gary's characteristics are that he is young, round, red, nice, kind, green and big. Round, blue, and green people are poften rough. When a kind person is feeling cold with red skin, they will be round as well. A kind and green person who is rough around the edges is cold. I have found that young, blue, and big individuals are also red. Someone who is big and kind is blue.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is red.
True
1
proof
[(triple5 OR ((triple3 ((triple7 triple9) -> rule5) triple9) -> rule4))]
("Gary" "is" "red" "+")
triple5
((triple3 ((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is blue.
True
3
proof
[(((triple7 triple9) -> rule5))]
("Gary" "is" "blue" "+")
((triple7 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple7 triple9) -> rule5))]
("Gary" "is" "blue" "-")
((triple7 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
True
6
proof
[(((((triple7 triple9) -> rule5) triple8 triple4) -> rule1))]
("Gary" "is" "rough" "+")
((((triple7 triple9) -> (rule5 % int2)) triple8 triple4) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((((triple7 triple9) -> rule5) triple8 triple4) -> rule1))]
("Gary" "is" "rough" "-")
((((triple7 triple9) -> (rule5 % int2)) triple8 triple4) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
True
9
proof
[(((triple8 ((((triple7 triple9) -> rule5) triple8 triple4) -> rule1) triple7) -> rule3))]
("Gary" "is" "cold" "+")
((triple8 ((((triple7 triple9) -> (rule5 % int3)) triple8 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not cold.
False
9
inv-proof
[(((triple8 ((((triple7 triple9) -> rule5) triple8 triple4) -> rule1) triple7) -> rule3))]
("Gary" "is" "cold" "-")
((triple8 ((((triple7 triple9) -> (rule5 % int3)) triple8 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Eric is green.[(triple2)] Eric is rough.[(triple1)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5 OR ((triple3 ((triple7 triple9) -> rule5) triple9) -> rule4))] Gary is round.[(triple4)] Gary is young.[(triple3)] @1: Gary is blue.[(((triple7 triple9) -> rule5))] @2: Gary is rough.[(((((triple7 triple9) -> rule5) triple8 triple4) -> rule1))] @3: Gary is cold.[(((triple8 ((((triple7 triple9) -> rule5) triple8 triple4) -> rule1) triple7) -> rule3))]
Eric is green.
("Eric" "is" "green" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
((triple3 ((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7 triple9) -> (rule5 % int2)) triple8 triple4) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((((triple7 triple9) -> (rule5 % int3)) triple8 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Eric is known to be rough and green.
Gary's characteristics are that he is young, round, red, nice, kind, green and big.
Round, blue, and green people are poften rough.
When a kind person is feeling cold with red skin, they will be round as well.
A kind and green person who is rough around the edges is cold.
I have found that young, blue, and big individuals are also red.
Someone who is big and kind is blue.