Eric is so big and round, it's hard to tell he is red, green and blue all at once. For someone so young, big and red, Gary is surprisingly nice, although sometimes cold. A round person who is nice and feelin cold is usually rough in apperance. Young and rough people tend to be green too. People with blue and red skin color are also green. Big people are also round people.
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Eric is big.
True
1
proof
[(triple5)]
("Eric" "is" "big" "+")
triple5
Eric is not big.
False
1
inv-proof
[(triple5)]
("Eric" "is" "big" "-")
triple5
Gary is round.
True
2
proof
[(((triple10) -> rule4))]
("Gary" "is" "round" "+")
((triple10) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple10) -> rule4))]
("Gary" "is" "round" "-")
((triple10) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
True
5
proof
[(((((triple10) -> rule4) triple8 triple9) -> rule1))]
("Gary" "is" "rough" "+")
((((triple10) -> (rule4 % int2)) triple8 triple9) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((((triple10) -> rule4) triple8 triple9) -> rule1))]
("Gary" "is" "rough" "-")
((((triple10) -> (rule4 % int2)) triple8 triple9) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
True
7
proof
[(((triple6 ((((triple10) -> rule4) triple8 triple9) -> rule1)) -> rule2))]
("Gary" "is" "green" "+")
((triple6 ((((triple10) -> (rule4 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not green.
False
7
inv-proof
[(((triple6 ((((triple10) -> rule4) triple8 triple9) -> rule1)) -> rule2))]
("Gary" "is" "green" "-")
((triple6 ((((triple10) -> (rule4 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Eric is big.[(triple5)] Eric is blue.[(triple4)] Eric is green.[(triple3 OR ((triple4 triple2) -> rule3))] Eric is red.[(triple2)] Eric is round.[(triple1 OR ((triple5) -> rule4))] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is young.[(triple6)] @1: Gary is round.[(((triple10) -> rule4))] @2: Gary is rough.[(((((triple10) -> rule4) triple8 triple9) -> rule1))] @3: Gary is green.[(((triple6 ((((triple10) -> rule4) triple8 triple9) -> rule1)) -> rule2))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
((triple4 triple2) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
((triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple10) -> (rule4 % int2)) triple8 triple9) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple6 ((((triple10) -> (rule4 % int3)) triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Eric is so big and round, it's hard to tell he is red, green and blue all at once.
For someone so young, big and red, Gary is surprisingly nice, although sometimes cold.
A round person who is nice and feelin cold is usually rough in apperance.
Young and rough people tend to be green too.
People with blue and red skin color are also green.
Big people are also round people.