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