Bob ate some rotten meat and now feels green. In the snow sits Charlie, crying from being cold. Eric is interestingly colored red and blue, and is also very kind. Fred is both young and fairly round in size. Big and green people who feel cold are usually young in age. A big person in size will definitely be rough. A quite nice person will certainly be red. If a rather cold person is also kind then they are probably rough. Being blue, cold, and rough must be very trying. At least they are also big. When you meet kind people they wont have a cold heart. They found the ones that were round, blue, and green to be nice.
Bob is green.
("Bob" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Fred is round.
True
1
proof
[(triple7)]
("Fred" "is" "round" "+")
triple7
Fred is not young.
False
1
inv-proof
[(triple6)]
("Fred" "is" "young" "-")
triple6
Eric is cold.
True
2
proof
[(((triple4) -> rule6))]
("Eric" "is" "cold" "+")
((triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple4) -> rule6))]
("Eric" "is" "cold" "-")
((triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
True
4
proof
[(((((triple4) -> rule6) triple4) -> rule4))]
("Eric" "is" "rough" "+")
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not rough.
False
4
inv-proof
[(((((triple4) -> rule6) triple4) -> rule4))]
("Eric" "is" "rough" "-")
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
True
8
proof
[(((triple5 ((triple4) -> rule6) ((((triple4) -> rule6) triple4) -> rule4)) -> rule5))]
("Eric" "is" "big" "+")
((triple5 ((triple4) -> (rule6 % int3)) ((((triple4) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
8
inv-proof
[(((triple5 ((triple4) -> rule6) ((((triple4) -> rule6) triple4) -> rule4)) -> rule5))]
("Eric" "is" "big" "-")
((triple5 ((triple4) -> (rule6 % int3)) ((((triple4) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "nice" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is green.[(triple1)] Charlie is cold.[(triple2)] Eric is blue.[(triple5)] Eric is kind.[(triple4)] Eric is red.[(triple3)] Fred is round.[(triple7)] Fred is young.[(triple6)] @1: Eric is cold.[(((triple4) -> rule6))] @2: Eric is rough.[(((((triple4) -> rule6) triple4) -> rule4))] @3: Eric is big.[(((triple5 ((triple4) -> rule6) ((((triple4) -> rule6) triple4) -> rule4)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
((triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple4) -> (rule6 % int3)) ((((triple4) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob ate some rotten meat and now feels green.
In the snow sits Charlie, crying from being cold.
Eric is interestingly colored red and blue, and is also very kind.
Fred is both young and fairly round in size.
Big and green people who feel cold are usually young in age.
A big person in size will definitely be rough.
A quite nice person will certainly be red.
If a rather cold person is also kind then they are probably rough.
Being blue, cold, and rough must be very trying; At least they are also big.
When you meet kind people they wont have a cold heart.
They found the ones that were round, blue, and green to be nice.