Bob is big. Dave is quiet. Dave is young. Fiona is green. Fiona is young. Gary is blue. Gary is young. All blue things are young. If something is big and red then it is young. If something is big then it is young. If Dave is red and Dave is quiet then Dave is young. All young, green things are blue. If Fiona is big then Fiona is young.
Bob is big.
("Bob" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is big and red then it is young.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If Dave is red and Dave is quiet then Dave is young.
((("Dave" "is" "red" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "young" "+"))
All young, green things are blue.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Fiona is big then Fiona is young.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "young" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Dave is not quiet.
False
1
inv-proof
[(triple2)]
("Dave" "is" "quiet" "-")
triple2
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Bob is big.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule1))] @1: Bob is young.[(((triple1) -> rule3))] Fiona is blue.[(((triple5 triple4) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5 triple4) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1