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