Anne is quiet. Bob is quiet. Fiona is cold. Harry is white. Quiet things are nice. Kind things are not nice. Quiet, kind things are not nice. If something is big then it is red. All big things are red. All nice things are not big. All cold things are quiet. Big things are not white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Kind things are not nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
Quiet, kind things are not nice.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All nice things are not big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "-"))
All cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Big things are not white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "-"))
Fiona is cold.
True
1
proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Bob is nice.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple3) -> rule7)) -> rule1))]
("Fiona" "is" "nice" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule1))]
("Fiona" "is" "nice" "-")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not big.
True
4
proof
[(((((((triple3) -> rule7)) -> rule1)) -> rule6))]
("Fiona" "is" "big" "-")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
False
4
inv-proof
[(((((((triple3) -> rule7)) -> rule1)) -> rule6))]
("Fiona" "is" "big" "+")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Fiona is cold.[(triple3)] Harry is white.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] Bob is nice.[(((triple2) -> rule1))] Fiona is quiet.[(((triple3) -> rule7))] @2: Anne is not big.[(((((triple1) -> rule1)) -> rule6))] Bob is not big.[(((((triple2) -> rule1)) -> rule6))] Fiona is nice.[(((((triple3) -> rule7)) -> rule1))] @3: Fiona is not big.[(((((((triple3) -> rule7)) -> rule1)) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is not big.
("Bob" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not big.
("Fiona" "is" "big" "-")
((((((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3