Charlie is blue. Fiona is furry. If Charlie is smart and Charlie is blue then Charlie is cold. If Fiona is furry then Fiona is not green. If Fiona is blue then Fiona is not smart. If Charlie is rough then Charlie is smart. If someone is smart and furry then they are cold. All furry people are smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If Charlie is smart and Charlie is blue then Charlie is cold.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "cold" "+"))
If Fiona is furry then Fiona is not green.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "green" "-"))
If Fiona is blue then Fiona is not smart.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "smart" "-"))
If Charlie is rough then Charlie is smart.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is smart and furry then they are cold.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple2) -> rule6))]
("Fiona" "is" "smart" "+")
((triple2) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "green" "+")
((triple2) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is cold.
True
4
proof
[(((((triple2) -> rule6) triple2) -> rule5))]
("Fiona" "is" "cold" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule5))]
("Fiona" "is" "cold" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is blue.[(triple1)] Fiona is furry.[(triple2)] @1: Fiona is not green.[(((triple2) -> rule2))] Fiona is smart.[(((triple2) -> rule6))] @2: Fiona is cold.[(((((triple2) -> rule6) triple2) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
((triple2) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2