Bob is furry. Charlie is furry. Charlie is nice. Charlie is not young. Dave is nice. Dave is red. Dave is not white. Dave is young. Fiona is not nice. Fiona is not young. If someone is blue then they are white. All furry people are quiet. If someone is furry then they are blue.
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not white.
("Dave" "is" "white" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Bob is quiet.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Charlie is not white.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("Charlie" "is" "white" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@2: Fiona is white.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is not young.[(triple4)] Dave is nice.[(triple5)] Dave is not white.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple8)] Fiona is not nice.[(triple9)] Fiona is not young.[(triple10)] @1: Bob is blue.[(((triple1) -> rule3))] Bob is quiet.[(((triple1) -> rule2))] Charlie is blue.[(((triple2) -> rule3))] Charlie is quiet.[(((triple2) -> rule2))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule1))] Charlie is white.[(((((triple2) -> rule3)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is not white.
("Dave" "is" "white" "-")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple9
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2