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