Bob is interestingly colored red and blue, and is also very kind. Although Dave is seen as nice and round, his days of playing football have made him quite rough. They always call him rough Eric. Young Harry is a big, cold, rough person. A rough, big soul is sure to be nice, too. People that are big but also green, may ultimately be very nice. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. A cold, red, kind soul will also prove to be nice.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Dave is nice.
True
1
proof
[(triple6)]
("Dave" "is" "nice" "+")
triple6
Dave is not rough.
False
1
inv-proof
[(triple5)]
("Dave" "is" "rough" "-")
triple5
Harry is nice.
True
3
proof
[(((triple9 triple11) -> rule1))]
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("Harry" "is" "nice" "-")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
True
6
proof
[(((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3))]
("Harry" "is" "kind" "+")
((triple10 ((triple9 triple11) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3))]
("Harry" "is" "kind" "-")
((triple10 ((triple9 triple11) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
True
9
proof
[(((triple10 ((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3) triple11) -> rule4))]
("Harry" "is" "round" "+")
((triple10 ((triple10 ((triple9 triple11) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not round.
False
9
inv-proof
[(((triple10 ((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3) triple11) -> rule4))]
("Harry" "is" "round" "-")
((triple10 ((triple10 ((triple9 triple11) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Eric is rough.[(triple7)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is nice.[(((triple9 triple11) -> rule1))] @2: Harry is kind.[(((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3))] @3: Harry is round.[(((triple10 ((triple10 ((triple9 triple11) -> rule1) triple11) -> rule3) triple11) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 ((triple9 triple11) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple10 ((triple10 ((triple9 triple11) -> (rule1 % int3)) triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is interestingly colored red and blue, and is also very kind.
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
They always call him rough Eric.
Young Harry is a big, cold, rough person.
A rough, big soul is sure to be nice, too.
People that are big but also green, may ultimately be very nice.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
A cold, red, kind soul will also prove to be nice.