As much as Alan is nice, he is also cold and often feels blue. Bob is rough and cold, but he's young and will get over it. Eric ate some rotten meat and now feels green. Gary is a round shaped but rough person, and is nice with the color blue. Round, blue, and green people are poften rough. A kind and green person who is rough around the edges is cold. As far as anyone can tell, whoever is kind, rough, and big is a round person. People that are green tend to be young. A person who is kind but also rough and is also colored blue, will be shaped round. Rough, blue people tend to have a lot of green aspects. A person that is both nice and young will also be cold.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
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 green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Bob is rough.
True
1
proof
[(triple5)]
("Bob" "is" "rough" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple11)]
("Gary" "is" "blue" "-")
triple11
Eric is young.
True
2
proof
[(((triple7) -> rule4))]
("Eric" "is" "young" "+")
((triple7) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple9 triple11) -> rule6))]
("Gary" "is" "green" "-")
((triple9 triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
True
4
proof
[(((((triple9 triple11) -> rule6)) -> rule4))]
("Gary" "is" "young" "+")
((((triple9 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not young.
False
4
inv-proof
[(((((triple9 triple11) -> rule6)) -> rule4))]
("Gary" "is" "young" "-")
((((triple9 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
True
6
proof
[(((triple10 ((((triple9 triple11) -> rule6)) -> rule4)) -> rule7))]
("Gary" "is" "cold" "+")
((triple10 ((((triple9 triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not cold.
False
6
inv-proof
[(((triple10 ((((triple9 triple11) -> rule6)) -> rule4)) -> rule7))]
("Gary" "is" "cold" "-")
((triple10 ((((triple9 triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple4)] Eric is green.[(triple7)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Eric is young.[(((triple7) -> rule4))] Gary is green.[(((triple9 triple11) -> rule6))] @2: Gary is young.[(((((triple9 triple11) -> rule6)) -> rule4))] @3: Gary is cold.[(((triple10 ((((triple9 triple11) -> rule6)) -> rule4)) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
((triple7) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple9 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 ((((triple9 triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
As much as Alan is nice, he is also cold and often feels blue.
Bob is rough and cold, but he's young and will get over it.
Eric ate some rotten meat and now feels green.
Gary is a round shaped but rough person, and is nice with the color blue.
Round, blue, and green people are poften rough.
A kind and green person who is rough around the edges is cold.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
People that are green tend to be young.
A person who is kind but also rough and is also colored blue, will be shaped round.
Rough, blue people tend to have a lot of green aspects.
A person that is both nice and young will also be cold.