I knew Bob was young, and rough, but he surprised me with how cold and blue he acted. Big, kind Fred is so very blue and red, but a nice person. Harry always goes out of his way to show that he is kind to people. Someone who is round in shape and green in color is usually cold. People who are green and blue tend to be round in shape. A kind person with green and red skin must be big too. Someone can be very nice and kind, and this means they are also green. Rough folks with green and red coloration tend to feel cold no matter what.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple8)]
("Fred" "is" "blue" "+")
triple8
Fred is not big.
False
1
inv-proof
[(triple9 OR ((((triple6 triple7) -> rule4) triple7 triple5) -> rule3))]
("Fred" "is" "big" "-")
triple9
((((triple6 triple7) -> (rule4 % int2)) triple7 triple5) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is green.
True
3
proof
[(((triple6 triple7) -> rule4))]
("Fred" "is" "green" "+")
((triple6 triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("Fred" "is" "green" "-")
((triple6 triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
True
5
proof
[(((((triple6 triple7) -> rule4) triple8) -> rule2))]
("Fred" "is" "round" "+")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not round.
False
5
inv-proof
[(((((triple6 triple7) -> rule4) triple8) -> rule2))]
("Fred" "is" "round" "-")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
True
9
proof
[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4) triple8) -> rule2)) -> rule1))]
("Fred" "is" "cold" "+")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4) triple8) -> rule2)) -> rule1))]
("Fred" "is" "cold" "-")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple9 OR ((((triple6 triple7) -> rule4) triple7 triple5) -> rule3))] Fred is blue.[(triple8)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Harry is kind.[(triple10)] @1: Fred is green.[(((triple6 triple7) -> rule4))] @2: Fred is round.[(((((triple6 triple7) -> rule4) triple8) -> rule2))] @3: Fred is cold.[(((((triple6 triple7) -> rule4) ((((triple6 triple7) -> rule4) triple8) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple9
((((triple6 triple7) -> (rule4 % int2)) triple7 triple5) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
((triple6 triple7) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple6 triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple6 triple7) -> (rule4 % int3)) ((((triple6 triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
I knew Bob was young, and rough, but he surprised me with how cold and blue he acted.
Big, kind Fred is so very blue and red, but a nice person.
Harry always goes out of his way to show that he is kind to people.
Someone who is round in shape and green in color is usually cold.
People who are green and blue tend to be round in shape.
A kind person with green and red skin must be big too.
Someone can be very nice and kind, and this means they are also green.
Rough folks with green and red coloration tend to feel cold no matter what.