Bob is furry. Bob is nice. Bob is quiet. Bob is white. Bob is young. Dave is nice. Dave is quiet. Dave is smart. Dave is young. Fiona is furry. Fiona is quiet. Fiona is white. Fiona is young. Gary is furry. Gary is nice. Gary is young. If something is quiet and white then it is blue.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is quiet and white then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Dave is young.
True
1
proof
[(triple9)]
("Dave" "is" "young" "+")
triple9
Gary is not nice.
False
1
inv-proof
[(triple15)]
("Gary" "is" "nice" "-")
triple15
Fiona is blue.
True
3
proof
[(((triple11 triple12) -> rule1))]
("Fiona" "is" "blue" "+")
((triple11 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple11 triple12) -> rule1))]
("Fiona" "is" "blue" "-")
((triple11 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Gary is furry.[(triple14)] Gary is nice.[(triple15)] Gary is young.[(triple16)] @1: Bob is blue.[(((triple3 triple4) -> rule1))] Fiona is blue.[(((triple11 triple12) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1