Charlie is a pretty young guy, who is quite nice, with a round shape, and red and green features. From a certain angle Fred is blue but he is young so maybe that will go away. Gary is a round and big shaped young man. He is green in color and is nice. Red people who are also kind often turn out to be cold from standing outdoors too long. If a human is both young and kind, they are also cold. Big, rough people sometimes are also green and when they are they must be cold. You will discover that green rough people are always red. A big, green person who is cold is assumed to be red also. A young, big sized person will certainly be a kind one.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
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 young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Gary is nice.
True
1
proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Fred is not young.
False
1
inv-proof
[(triple6)]
("Fred" "is" "young" "-")
triple6
Gary is kind.
True
3
proof
[(((triple8 triple12) -> rule6))]
("Gary" "is" "kind" "+")
((triple8 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple8 triple12) -> rule6))]
("Gary" "is" "kind" "-")
((triple8 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
5
proof
[(((triple8 ((triple8 triple12) -> rule6)) -> rule2))]
("Gary" "is" "cold" "+")
((triple8 ((triple8 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple8 ((triple8 triple12) -> rule6)) -> rule2))]
("Gary" "is" "cold" "-")
((triple8 ((triple8 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
True
8
proof
[(((triple11 triple12 ((triple8 ((triple8 triple12) -> rule6)) -> rule2)) -> rule5))]
("Gary" "is" "red" "+")
((triple11 triple12 ((triple8 ((triple8 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not red.
False
8
inv-proof
[(((triple11 triple12 ((triple8 ((triple8 triple12) -> rule6)) -> rule2)) -> rule5))]
("Gary" "is" "red" "-")
((triple11 triple12 ((triple8 ((triple8 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Fred is blue.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is kind.[(((triple8 triple12) -> rule6))] @2: Gary is cold.[(((triple8 ((triple8 triple12) -> rule6)) -> rule2))] @3: Gary is red.[(((triple11 triple12 ((triple8 ((triple8 triple12) -> rule6)) -> rule2)) -> rule5))]
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((triple8 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple12 ((triple8 ((triple8 triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is a pretty young guy, who is quite nice, with a round shape, and red and green features.
From a certain angle Fred is blue but he is young so maybe that will go away.
Gary is a round and big shaped young man; He is green in color and is nice.
Red people who are also kind often turn out to be cold from standing outdoors too long.
If a human is both young and kind, they are also cold.
Big, rough people sometimes are also green and when they are they must be cold.
You will discover that green rough people are always red.
A big, green person who is cold is assumed to be red also.
A young, big sized person will certainly be a kind one.