Alan is kind and round. Being round makes him a bit blue. Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him. That man standing next to you with a big round body goes by the name of Fred. Young Gary is wearing green pants. A big round person is nice. A quite nice person will certainly be red. You will discover that green rough people are always red. Anyone with red and blue coloration also has green coloration. Round people are often red before they turn green.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "blue" "-")
triple7
Charlie is red.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "red" "+")
((triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple8 triple9) -> rule1))]
("Fred" "is" "nice" "-")
((triple8 triple9) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is green.
True
4
proof
[(((triple4 ((triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule2) triple7) -> rule4))]
("Charlie" "is" "green" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple5) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple8 triple9) -> rule1)) -> rule2))]
("Fred" "is" "red" "-")
((((triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
True
6
proof
[(((triple8 ((((triple8 triple9) -> rule1)) -> rule2)) -> rule5))]
("Fred" "is" "green" "+")
((triple8 ((((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not green.
False
6
inv-proof
[(((triple8 ((((triple8 triple9) -> rule1)) -> rule2)) -> rule5))]
("Fred" "is" "green" "-")
((triple8 ((((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@3: Alan is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Fred is big.[(triple9)] Fred is round.[(triple8)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Charlie is red.[(((triple5) -> rule2))] Fred is nice.[(((triple8 triple9) -> rule1))] @2: Charlie is green.[(((triple4 ((triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule2) triple7) -> rule4))] Fred is red.[(((((triple8 triple9) -> rule1)) -> rule2))] @3: Fred is green.[(((triple8 ((((triple8 triple9) -> rule1)) -> rule2)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple9) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple5) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple8 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple8 ((((triple8 triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan is kind and round; Being round makes him a bit blue.
Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him.
That man standing next to you with a big round body goes by the name of Fred.
Young Gary is wearing green pants.
A big round person is nice.
A quite nice person will certainly be red.
You will discover that green rough people are always red.
Anyone with red and blue coloration also has green coloration.
Round people are often red before they turn green.