Bob is big and green, which is good, because he is also cold and blue. Dave is big and rough. Harry wears all blue. A rough textured and cold person is definitely young. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Surprisingly, all the kind, green people were also big. Rough people are often always nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Anyone that's rough and cold is also going to be blue.
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Dave is rough.
True
1
proof
[(triple5)]
("Dave" "is" "rough" "+")
triple5
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Dave is nice.
True
2
proof
[(((triple5) -> rule4))]
("Dave" "is" "nice" "+")
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple5) -> rule4))]
("Dave" "is" "nice" "-")
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
5
proof
[(((triple5 triple6 ((triple5) -> rule4)) -> rule2))]
("Dave" "is" "cold" "+")
((triple5 triple6 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((triple5 triple6 ((triple5) -> rule4)) -> rule2))]
("Dave" "is" "cold" "-")
((triple5 triple6 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
True
7
proof
[(((triple5 ((triple5 triple6 ((triple5) -> rule4)) -> rule2)) -> rule1))]
("Dave" "is" "young" "+")
((triple5 ((triple5 triple6 ((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((((triple5 triple6 ((triple5) -> rule4)) -> rule2) triple5) -> rule7))]
("Dave" "is" "blue" "-")
((((triple5 triple6 ((triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is green.[(triple1)] Dave is big.[(triple6)] Dave is rough.[(triple5)] Harry is blue.[(triple7)] @1: Dave is nice.[(((triple5) -> rule4))] @2: Dave is cold.[(((triple5 triple6 ((triple5) -> rule4)) -> rule2))] @3: Dave is blue.[(((((triple5 triple6 ((triple5) -> rule4)) -> rule2) triple5) -> rule7))] Dave is young.[(((triple5 ((triple5 triple6 ((triple5) -> rule4)) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5 triple6 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple5 triple6 ((triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple5 ((triple5 triple6 ((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Bob is big and green, which is good, because he is also cold and blue.
Dave is big and rough.
Harry wears all blue.
A rough textured and cold person is definitely young.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
Surprisingly, all the kind, green people were also big.
Rough people are often always nice.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
Anyone that's rough and cold is also going to be blue.