Bob is green. Bob is quiet. Bob is round. Fiona is not green. Fiona is quiet. Fiona is round. Fiona is white. Gary is blue. Gary is green. Gary is not kind. Gary is nice. Harry is not green. Harry is not kind. Harry is quiet. Harry is round. Harry is white. If someone is quiet and not green then they are round. If Bob is round and Bob is not kind then Bob is not blue. If someone is round then they are blue.
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is quiet and not green then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "round" "+"))
If Bob is round and Bob is not kind then Bob is not blue.
((("Bob" "is" "round" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "blue" "-"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Harry is quiet.
True
1
proof
[(triple14)]
("Harry" "is" "quiet" "+")
triple14
Gary is kind.
False
1
inv-proof
[(triple10)]
("Gary" "is" "kind" "+")
triple10
Bob is blue.
True
2
proof
[(((triple3) -> rule3))]
("Bob" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple15) -> rule3) OR ((((triple14 triple12) -> rule1)) -> rule3))]
("Harry" "is" "blue" "-")
((triple15) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple14 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Fiona is not green.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple5 triple4) -> rule1))] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple11)] Gary is not kind.[(triple10)] Harry is not green.[(triple12)] Harry is not kind.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((triple14 triple12) -> rule1))] Harry is white.[(triple16)] @1: Bob is blue.[(((triple3) -> rule3))] Fiona is blue.[(((triple6) -> rule3) OR ((((triple5 triple4) -> rule1)) -> rule3))] Harry is blue.[(((triple15) -> rule3) OR ((((triple14 triple12) -> rule1)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is not green.
("Fiona" "is" "green" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not kind.
("Gary" "is" "kind" "-")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple14 triple12) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple15) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple14 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2