Bob is blue. Charlie is young. Dave is young. Fiona is big. If Fiona is big then Fiona is nice. If someone is green and nice then they are red. If someone is blue then they are furry.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If Fiona is big then Fiona is nice.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "nice" "+"))
If someone is green and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Fiona is nice.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is blue.[(triple1)] Charlie is young.[(triple2)] Dave is young.[(triple3)] Fiona is big.[(triple4)] @1: Bob is furry.[(((triple1) -> rule3))] Fiona is nice.[(((triple4) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1