Red Bob is what folks call him, because he is quite red. Being so young, Charlie is rough during play, even though he is nice. He is big for his age and has blue eyes. Both green but also blue, Fred is nice and kind while being cold. A big person who is green and cold has red skin. People who are big and kind are also round. Any green person is a round person. Blue and red people are often rough. Anyone that's rough and cold is also going to be blue. When somebody is round, kind and blue, you know they'll also be red. A person that is the color red will definitely be round shaped.
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Fred is round.
True
2
proof
[(((triple9) -> rule3))]
("Fred" "is" "round" "+")
((triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule7))]
("Bob" "is" "round" "-")
((triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is red.
True
5
proof
[(((((triple9) -> rule3) triple8 triple11) -> rule6))]
("Fred" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple8 triple11) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not red.
False
5
inv-proof
[(((((triple9) -> rule3) triple8 triple11) -> rule6))]
("Fred" "is" "red" "-")
((((triple9) -> (rule3 % int2)) triple8 triple11) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is rough.
True
7
proof
[(((triple11 ((((triple9) -> rule3) triple8 triple11) -> rule6)) -> rule4))]
("Fred" "is" "rough" "+")
((triple11 ((((triple9) -> (rule3 % int3)) triple8 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not rough.
False
7
inv-proof
[(((triple11 ((((triple9) -> rule3) triple8 triple11) -> rule6)) -> rule4))]
("Fred" "is" "rough" "-")
((triple11 ((((triple9) -> (rule3 % int3)) triple8 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is red.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] @1: Bob is round.[(((triple1) -> rule7))] Fred is round.[(((triple9) -> rule3))] @2: Fred is red.[(((((triple9) -> rule3) triple8 triple11) -> rule6))] @3: Fred is rough.[(((triple11 ((((triple9) -> rule3) triple8 triple11) -> rule6)) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple8 triple11) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 ((((triple9) -> (rule3 % int3)) triple8 triple11) -> (rule6 % int2))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Red Bob is what folks call him, because he is quite red.
Being so young, Charlie is rough during play, even though he is nice; He is big for his age and has blue eyes.
Both green but also blue, Fred is nice and kind while being cold.
A big person who is green and cold has red skin.
People who are big and kind are also round.
Any green person is a round person.
Blue and red people are often rough.
Anyone that's rough and cold is also going to be blue.
When somebody is round, kind and blue, you know they'll also be red.
A person that is the color red will definitely be round shaped.