Charlie is red when he is rough and blue when he is kind. Even though he's young and green, Eric is rough. Fred was born only a few years ago so he is young. A big person who is kind but blue is cold. A round person who is nice is young. A downhearted blue person who is kind is round. Big, rough people sometimes are also green and when they are they must be cold. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A cold person, who is kind in nature and young in years, is round.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple4)]
("Charlie" "is" "blue" "+")
triple4
Eric is not rough.
False
1
inv-proof
[(triple6)]
("Eric" "is" "rough" "-")
triple6
Charlie is round.
True
3
proof
[(((triple3 triple4) -> rule3))]
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule3))]
("Charlie" "is" "round" "-")
((triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
True
6
proof
[(((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple4 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple4 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
True
10
proof
[(((((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5) ((triple3 triple4) -> rule3)) -> rule2))]
("Charlie" "is" "young" "+")
((((triple4 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not young.
False
10
inv-proof
[(((((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5) ((triple3 triple4) -> rule3)) -> rule2))]
("Charlie" "is" "young" "-")
((((triple4 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Eric is green.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5)] Fred is young.[(triple8)] @1: Charlie is round.[(((triple3 triple4) -> rule3))] @2: Charlie is nice.[(((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5))] @3: Charlie is young.[(((((triple4 triple2 ((triple3 triple4) -> rule3)) -> rule5) ((triple3 triple4) -> rule3)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple2 ((triple3 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple4 triple2 ((triple3 triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple4) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is red when he is rough and blue when he is kind.
Even though he's young and green, Eric is rough.
Fred was born only a few years ago so he is young.
A big person who is kind but blue is cold.
A round person who is nice is young.
A downhearted blue person who is kind is round.
Big, rough people sometimes are also green and when they are they must be cold.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A cold person, who is kind in nature and young in years, is round.