They always call him rough Alan. Even though he's young and green, Eric is rough. They always call him rough Fred. Gary has a big round body which makes him feel blue about how rough he looks and fills him with red anger. Red people who are also kind often turn out to be cold from standing outdoors too long. Red people feel blue about it. You know when you meet a red, blue and kind person, that means they are green. Young, kind people have a habit of being nice. Rough young folks are surprisingly kind. Young cold individuals are usualyy rough. Young and nice people are ultimately cold.
Alan is rough.
("Alan" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is young.
True
1
proof
[(triple2)]
("Eric" "is" "young" "+")
triple2
Eric is not young.
False
1
inv-proof
[(triple2)]
("Eric" "is" "young" "-")
triple2
Eric is kind.
True
3
proof
[(((triple2 triple3) -> rule5))]
("Eric" "is" "kind" "+")
((triple2 triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Eric" "is" "kind" "-")
((triple2 triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
True
5
proof
[(((((triple2 triple3) -> rule5) triple2) -> rule4))]
("Eric" "is" "nice" "+")
((((triple2 triple3) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((((triple2 triple3) -> rule5) triple2) -> rule4))]
("Eric" "is" "nice" "-")
((((triple2 triple3) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
True
7
proof
[(((triple2 ((((triple2 triple3) -> rule5) triple2) -> rule4)) -> rule7))]
("Eric" "is" "cold" "+")
((triple2 ((((triple2 triple3) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((triple2 ((((triple2 triple3) -> rule5) triple2) -> rule4)) -> rule7))]
("Eric" "is" "cold" "-")
((triple2 ((((triple2 triple3) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is rough.[(triple1)] Eric is green.[(triple4)] Eric is rough.[(triple3)] Eric is young.[(triple2)] Fred is rough.[(triple5)] Gary is big.[(triple10)] Gary is blue.[(triple9 OR ((triple8) -> rule2))] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Eric is kind.[(((triple2 triple3) -> rule5))] @2: Eric is nice.[(((((triple2 triple3) -> rule5) triple2) -> rule4))] @3: Eric is cold.[(((triple2 ((((triple2 triple3) -> rule5) triple2) -> rule4)) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
((triple8) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
((triple2 triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple2 triple3) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple2 ((((triple2 triple3) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
They always call him rough Alan.
Even though he's young and green, Eric is rough.
They always call him rough Fred.
Gary has a big round body which makes him feel blue about how rough he looks and fills him with red anger.
Red people who are also kind often turn out to be cold from standing outdoors too long.
Red people feel blue about it.
You know when you meet a red, blue and kind person, that means they are green.
Young, kind people have a habit of being nice.
Rough young folks are surprisingly kind.
Young cold individuals are usualyy rough.
Young and nice people are ultimately cold.