Anne is big. Anne is furry. Charlie is red. Fiona is cold. Fiona is smart. Gary is big. Gary is furry. If Fiona is smart then Fiona is quiet. Big things are nice. All quiet, smart things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All quiet, smart things are big.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Fiona is cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Gary is not big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "-")
triple6
Fiona is quiet.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is big.
True
4
proof
[(((((triple5) -> rule1) triple5) -> rule3))]
("Fiona" "is" "big" "+")
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((((triple5) -> rule1) triple5) -> rule3))]
("Fiona" "is" "big" "-")
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
True
5
proof
[(((((((triple5) -> rule1) triple5) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "+")
((((((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not nice.
False
5
inv-proof
[(((((((triple5) -> rule1) triple5) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "-")
((((((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] @1: Anne is nice.[(((triple1) -> rule2))] Fiona is quiet.[(((triple5) -> rule1))] Gary is nice.[(((triple6) -> rule2))] @2: Fiona is big.[(((((triple5) -> rule1) triple5) -> rule3))] @3: Fiona is nice.[(((((((triple5) -> rule1) triple5) -> rule3)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3