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