Bob always goes out of his way to show that he is kind to people. Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. When you see Fred, you will notice he is cold, big and kind. Others enjoy Gary's company because he is so nice and kind. People who are big and kind are also round. People that are big and cold are blue as well. A nice and kind person who is big sized will be cold. A young round person who is green is also red. When someone feels blue and rough, they might be described as green. Blue, kind, and cold people are habitually rough.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Fred is round.
True
3
proof
[(((triple5 triple7) -> rule1))]
("Fred" "is" "round" "+")
((triple5 triple7) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Fred" "is" "blue" "-")
((triple7 triple6) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
True
6
proof
[(((((triple7 triple6) -> rule2) triple5 triple6) -> rule6))]
("Fred" "is" "rough" "+")
((((triple7 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((((triple7 triple6) -> rule2) triple5 triple6) -> rule6))]
("Fred" "is" "rough" "-")
((((triple7 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
True
10
proof
[(((((triple7 triple6) -> rule2) ((((triple7 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule5))]
("Fred" "is" "green" "+")
((((triple7 triple6) -> (rule2 % int3)) ((((triple7 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not green.
False
10
inv-proof
[(((((triple7 triple6) -> rule2) ((((triple7 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule5))]
("Fred" "is" "green" "-")
((((triple7 triple6) -> (rule2 % int3)) ((((triple7 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] @1: Fred is blue.[(((triple7 triple6) -> rule2))] Fred is round.[(((triple5 triple7) -> rule1))] @2: Fred is rough.[(((((triple7 triple6) -> rule2) triple5 triple6) -> rule6))] @3: Fred is green.[(((((triple7 triple6) -> rule2) ((((triple7 triple6) -> rule2) triple5 triple6) -> rule6)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple6) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple5 triple7) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple7 triple6) -> (rule2 % int2)) triple5 triple6) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple7 triple6) -> (rule2 % int3)) ((((triple7 triple6) -> (rule2 % int3)) triple5 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
When you see Fred, you will notice he is cold, big and kind.
Others enjoy Gary's company because he is so nice and kind.
People who are big and kind are also round.
People that are big and cold are blue as well.
A nice and kind person who is big sized will be cold.
A young round person who is green is also red.
When someone feels blue and rough, they might be described as green.
Blue, kind, and cold people are habitually rough.