Bob is a big gentleman who is very nice. He is secretly green with envy. To the touch Fred has rough, cold skin. In the snow sits Gary, crying from being cold. Harry wears all blue. A person who's big and kind will also be cold. Green, nice people who have round shapes are going to be kind to you. Nice and blue people have to be big as well. Lucky for us, people that are round and red are kind to strangers. Big people are also round people.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Fred is not rough.
False
1
inv-proof
[(triple4)]
("Fred" "is" "rough" "-")
triple4
Bob is round.
True
2
proof
[(((triple3) -> rule5))]
("Bob" "is" "round" "+")
((triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple3) -> rule5))]
("Bob" "is" "round" "-")
((triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
True
5
proof
[(((triple2 ((triple3) -> rule5) triple1) -> rule2))]
("Bob" "is" "kind" "+")
((triple2 ((triple3) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple2 ((triple3) -> rule5) triple1) -> rule2))]
("Bob" "is" "kind" "-")
((triple2 ((triple3) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
True
7
proof
[(((triple3 ((triple2 ((triple3) -> rule5) triple1) -> rule2)) -> rule1))]
("Bob" "is" "cold" "+")
((triple3 ((triple2 ((triple3) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((triple3 ((triple2 ((triple3) -> rule5) triple1) -> rule2)) -> rule1))]
("Bob" "is" "cold" "-")
((triple3 ((triple2 ((triple3) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Fred is cold.[(triple5)] Fred is rough.[(triple4)] Gary is cold.[(triple6)] Harry is blue.[(triple7)] @1: Bob is round.[(((triple3) -> rule5))] @2: Bob is kind.[(((triple2 ((triple3) -> rule5) triple1) -> rule2))] @3: Bob is cold.[(((triple3 ((triple2 ((triple3) -> rule5) triple1) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((triple3) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 ((triple2 ((triple3) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is a big gentleman who is very nice; He is secretly green with envy.
To the touch Fred has rough, cold skin.
In the snow sits Gary, crying from being cold.
Harry wears all blue.
A person who's big and kind will also be cold.
Green, nice people who have round shapes are going to be kind to you.
Nice and blue people have to be big as well.
Lucky for us, people that are round and red are kind to strangers.
Big people are also round people.