Charlie is big and tends to wear red shirts. Being young, Dave is still green and blue. They always call him rough Fred. Gary wears all blue. Rough people are often always nice. All the big and young boys at the park are red. I've found that people with rough skin tend to be really nice but they also often feel blue. If a kind, red person is also feeling blue then he will be cold to outsiders. Red people feel blue about it. Blue people who are big tend to be rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Fred is not rough.
False
1
inv-proof
[(triple6)]
("Fred" "is" "rough" "-")
triple6
Fred is nice.
True
2
proof
[(((triple6) -> rule1))]
("Fred" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("Charlie" "is" "blue" "-")
((triple1) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fred is blue.
True
4
proof
[(((triple6 ((triple6) -> rule1)) -> rule3))]
("Fred" "is" "blue" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not blue.
False
4
inv-proof
[(((triple6 ((triple6) -> rule1)) -> rule3))]
("Fred" "is" "blue" "-")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Charlie is nice.
True
5
proof
[(((((((triple1) -> rule5) triple2) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "+")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not nice.
False
5
inv-proof
[(((((((triple1) -> rule5) triple2) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "-")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is young.[(triple3)] Fred is rough.[(triple6)] Gary is blue.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule5))] Fred is nice.[(((triple6) -> rule1))] @2: Charlie is rough.[(((((triple1) -> rule5) triple2) -> rule6))] Fred is blue.[(((triple6 ((triple6) -> rule1)) -> rule3))] @3: Charlie is nice.[(((((((triple1) -> rule5) triple2) -> rule6)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple1) -> (rule5 % int3)) triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big and tends to wear red shirts.
Being young, Dave is still green and blue.
They always call him rough Fred.
Gary wears all blue.
Rough people are often always nice.
All the big and young boys at the park are red.
I've found that people with rough skin tend to be really nice but they also often feel blue.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Red people feel blue about it.
Blue people who are big tend to be rough.