Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is not young. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is young. Gary is green. Gary is quiet. All furry people are nice. If Gary is round then Gary is nice. Nice people are cold.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Gary is round then Gary is nice.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is quiet.
True
1
proof
[(triple12)]
("Gary" "is" "quiet" "+")
triple12
Bob is young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Bob is cold.
True
2
proof
[(((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "cold" "-")
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule1))] Bob is not young.[(triple5)] Bob is quiet.[(triple4)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8 OR ((triple6) -> rule1))] Fiona is round.[(triple9)] Fiona is young.[(triple10)] Gary is green.[(triple11)] Gary is quiet.[(triple12)] @1: Bob is cold.[(((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Fiona is cold.[(((triple8) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2