Bob is big and rough looking but is very nice and kind. Dave looks red to most people, with blue features. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Harry is both young and fairly round in size. People who can be kind when they are cold are fundamentally nice. Nice young people who are round are also blue. Every time I see a young blue nice person I know they are also red. People who are round and young are also very nice. Find someone big, blue, and kind, and you'll see they are also quite young. Young,cold and blue people are mostly round. Anyone who's blue is also green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Dave is green.
True
2
proof
[(((triple6) -> rule7))]
("Dave" "is" "green" "+")
((triple6) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple11 triple10) -> rule4))]
("Harry" "is" "nice" "-")
((triple11 triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
6
proof
[(((((triple11 triple10) -> rule4) triple10 triple11) -> rule2))]
("Harry" "is" "blue" "+")
((((triple11 triple10) -> (rule4 % int2)) triple10 triple11) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((((triple11 triple10) -> rule4) triple10 triple11) -> rule2))]
("Harry" "is" "blue" "-")
((((triple11 triple10) -> (rule4 % int2)) triple10 triple11) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
True
7
proof
[(((((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule7))]
("Harry" "is" "green" "+")
((((((triple11 triple10) -> (rule4 % int3)) triple10 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not green.
False
7
inv-proof
[(((((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule7))]
("Harry" "is" "green" "-")
((((((triple11 triple10) -> (rule4 % int3)) triple10 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is red.[(triple5)] Gary is blue.[(triple9)] Gary is green.[(triple8 OR ((triple9) -> rule7))] Gary is round.[(triple7)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Dave is green.[(((triple6) -> rule7))] Harry is nice.[(((triple11 triple10) -> rule4))] @2: Harry is blue.[(((((triple11 triple10) -> rule4) triple10 triple11) -> rule2))] @3: Harry is green.[(((((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule7))] Harry is red.[(((((triple11 triple10) -> rule4) triple10 ((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple9) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple6) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 triple10) -> (rule4 % int2)) triple10 triple11) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple11 triple10) -> (rule4 % int3)) triple10 triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple11 triple10) -> (rule4 % int3)) triple10 ((((triple11 triple10) -> (rule4 % int3)) triple10 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is big and rough looking but is very nice and kind.
Dave looks red to most people, with blue features.
Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Harry is both young and fairly round in size.
People who can be kind when they are cold are fundamentally nice.
Nice young people who are round are also blue.
Every time I see a young blue nice person I know they are also red.
People who are round and young are also very nice.
Find someone big, blue, and kind, and you'll see they are also quite young.
Young,cold and blue people are mostly round.
Anyone who's blue is also green.