Bob is rough, round and young but also red. Charlie always goes out of his way to show that he is kind to people. Eric always goes out of his way to show that he is kind to people. Fred was born only a few years ago so he is young. Round, blue, and green people are poften rough. When a kind person is feeling cold with red skin, they will be round as well. All the big and young boys at the park are red. A person with a rough quality is also a person with a blue quality. If you find that someone has rough blue skin they are always kind. A young blue person that is kind is known for being extra nice to others, too. Whenever someone is kind as well as round and cold, they will definitely be blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Fred is not young.
False
1
inv-proof
[(triple7)]
("Fred" "is" "young" "-")
triple7
Bob is blue.
True
2
proof
[(((triple3) -> rule4))]
("Bob" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "blue" "-")
((triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
True
4
proof
[(((triple3 ((triple3) -> rule4)) -> rule5))]
("Bob" "is" "kind" "+")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((triple3 ((triple3) -> rule4)) -> rule5))]
("Bob" "is" "kind" "-")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
True
8
proof
[(((triple1 ((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "nice" "+")
((triple1 ((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not nice.
False
8
inv-proof
[(((triple1 ((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "nice" "-")
((triple1 ((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is kind.[(triple5)] Eric is kind.[(triple6)] Fred is young.[(triple7)] @1: Bob is blue.[(((triple3) -> rule4))] @2: Bob is kind.[(((triple3 ((triple3) -> rule4)) -> rule5))] @3: Bob is nice.[(((triple1 ((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))]
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 ((triple3) -> (rule4 % int3)) ((triple3 ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough, round and young but also red.
Charlie always goes out of his way to show that he is kind to people.
Eric always goes out of his way to show that he is kind to people.
Fred was born only a few years ago so he is young.
Round, blue, and green people are poften rough.
When a kind person is feeling cold with red skin, they will be round as well.
All the big and young boys at the park are red.
A person with a rough quality is also a person with a blue quality.
If you find that someone has rough blue skin they are always kind.
A young blue person that is kind is known for being extra nice to others, too.
Whenever someone is kind as well as round and cold, they will definitely be blue.