Bob who is big in stature is almost always nice even when he is cold. Dave is big and dresses in blue. Gary is big and rough. Harry is young and round, he is also green. Someone who looks rough and feels cold is also kind to others. Surprisingly, all the kind, green people were also big. Someone who is round in shape and green in color is usually cold. Rough folks with green and red coloration tend to feel cold no matter what. People who are kind and green are very often rough. A person with a round body will be feeling very cold and will be rough to handle.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple6)]
("Gary" "is" "rough" "+")
triple6
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Harry is cold.
True
3
proof
[(((triple10 triple9) -> rule3))]
("Harry" "is" "cold" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple10 triple9) -> rule3))]
("Harry" "is" "cold" "-")
((triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
True
5
proof
[(((((triple10 triple9) -> rule3) triple9) -> rule6))]
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((((triple10 triple9) -> rule3) triple9) -> rule6))]
("Harry" "is" "rough" "-")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
True
9
proof
[(((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1))]
("Harry" "is" "kind" "+")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not kind.
False
9
inv-proof
[(((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1))]
("Harry" "is" "kind" "-")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
True
11
proof
[(((((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) triple10) -> rule2))]
("Harry" "is" "big" "+")
((((((((triple10 triple9) -> (rule3 % int4)) triple9) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int4))) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not big.
False
11
inv-proof
[(((((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) triple10) -> rule2))]
("Harry" "is" "big" "-")
((((((((triple10 triple9) -> (rule3 % int4)) triple9) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int4))) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is nice.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Gary is big.[(triple7)] Gary is rough.[(triple6)] Harry is green.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Harry is cold.[(((triple10 triple9) -> rule3))] @2: Harry is rough.[(((((triple10 triple9) -> rule3) triple9) -> rule6))] @3: Harry is kind.[(((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1))] @4: Harry is big.[(((((((((triple10 triple9) -> rule3) triple9) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) triple10) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule6 % int2)) ((triple10 triple9) -> (rule3 % int3))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((((((triple10 triple9) -> (rule3 % int4)) triple9) -> (rule6 % int3)) ((triple10 triple9) -> (rule3 % int4))) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Bob who is big in stature is almost always nice even when he is cold.
Dave is big and dresses in blue.
Gary is big and rough.
Harry is young and round, he is also green.
Someone who looks rough and feels cold is also kind to others.
Surprisingly, all the kind, green people were also big.
Someone who is round in shape and green in color is usually cold.
Rough folks with green and red coloration tend to feel cold no matter what.
People who are kind and green are very often rough.
A person with a round body will be feeling very cold and will be rough to handle.