Bob is big. Bob is blue. Bob is green. Bob is red. Bob is not rough. Fiona is furry. Fiona is green. Fiona is not nice. Fiona is not red. Fiona is rough. Gary is blue. Gary is green. Harry is big. Harry is green. Harry is rough. If someone is blue and rough then they are big. If someone is blue and not nice then they are furry. Rough, big people are green.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and not nice then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "furry" "+"))
Rough, big people are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Harry is big.
True
1
proof
[(triple13)]
("Harry" "is" "big" "+")
triple13
Fiona is red.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "red" "+")
triple9
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not nice.[(triple8)] Fiona is not red.[(triple9)] Fiona is rough.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14 OR ((triple15 triple13) -> rule3))] Harry is rough.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
((triple15 triple13) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple15