Big, red Alan is quite kind. When you see Bob, you will notice he is cold, big and kind. Charlie is so young and darling he is kind to all the old people on the block. Even though Fred is young, he is still very round and still very red. People who are red and round are usually assumed to be green. A big person in size will definitely be rough. If the person is big and cold then as a rule they must be green. When you know someone who is young and green you can count on them being nice to everyone. When a person's traits are to be big, blue and cold, they will also have a red trait. People with rough red and blue skin are young. Big people that are also rough, are ultimately round.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple6)]
("Bob" "is" "big" "+")
triple6
Fred is not round.
False
1
inv-proof
[(triple10)]
("Fred" "is" "round" "-")
triple10
Bob is green.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Bob" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule3))]
("Bob" "is" "green" "-")
((triple6 triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fred is nice.
True
5
proof
[(((triple9 ((triple11 triple10) -> rule1)) -> rule4))]
("Fred" "is" "nice" "+")
((triple9 ((triple11 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Bob is not round.
False
4
inv-proof
[(((triple6 ((triple6) -> rule2)) -> rule7))]
("Bob" "is" "round" "-")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Alan is green.
True
6
proof
[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule7)) -> rule1))]
("Alan" "is" "green" "+")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not green.
False
6
inv-proof
[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule7)) -> rule1))]
("Alan" "is" "green" "-")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4)] Charlie is kind.[(triple8)] Charlie is young.[(triple7)] Fred is red.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Alan is rough.[(((triple3) -> rule2))] Bob is green.[(((triple6 triple5) -> rule3))] Bob is rough.[(((triple6) -> rule2))] Fred is green.[(((triple11 triple10) -> rule1))] @2: Alan is round.[(((triple3 ((triple3) -> rule2)) -> rule7))] Bob is round.[(((triple6 ((triple6) -> rule2)) -> rule7))] Fred is nice.[(((triple9 ((triple11 triple10) -> rule1)) -> rule4))] @3: Alan is green.[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule7)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Alan is rough.
("Alan" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple11 triple10) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple9 ((triple11 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((triple1 ((triple3 ((triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Big, red Alan is quite kind.
When you see Bob, you will notice he is cold, big and kind.
Charlie is so young and darling he is kind to all the old people on the block.
Even though Fred is young, he is still very round and still very red.
People who are red and round are usually assumed to be green.
A big person in size will definitely be rough.
If the person is big and cold then as a rule they must be green.
When you know someone who is young and green you can count on them being nice to everyone.
When a person's traits are to be big, blue and cold, they will also have a red trait.
People with rough red and blue skin are young.
Big people that are also rough, are ultimately round.