Fiona is nice. Fiona is quiet. Fiona is white. All young things are blue. Quiet things are white. If something is quiet and white then it is blue. If something is big and quiet then it is young. If something is quiet then it is blue. If something is young and blue then it is quiet.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is quiet and white then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is big and quiet then it is young.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is quiet then it is blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is young and blue then it is quiet.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule2))]
("Fiona" "is" "white" "-")
triple3
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
True
2
proof
[(((triple2) -> rule5) OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not blue.
False
2
inv-proof
[(((triple2) -> rule5) OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "blue" "-")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is white.[(triple3 OR ((triple2) -> rule2))] @1: Fiona is blue.[(((triple2) -> rule5) OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2