Fiona is blue. Gary is red. Blue things are quiet. If something is cold and green then it is nice. All big things are blue. Big, quiet things are green. If something is big and quiet then it is red. If something is blue and quiet then it is green. Big things are red. All big things are blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is cold and green then it is nice.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Big, quiet things are green.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is big and quiet then it is red.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is blue and quiet then it is green.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule6))]
("Fiona" "is" "green" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule6))]
("Fiona" "is" "green" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is not quiet.
Unknown
inv-rconc
[@2: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is blue.[(triple1)] Gary is red.[(triple2)] @1: Fiona is quiet.[(((triple1) -> rule1))] @2: Fiona is green.[(((triple1 ((triple1) -> rule1)) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2