Anne is furry. Bob is blue. Fiona is young. Gary is not red. All smart, round things are not cold. If Anne is round then Anne is not red. All young things are smart. If something is cold and not red then it is furry. If Bob is blue then Bob is not furry. All smart, young things are blue. All young, round things are blue. Furry, round things are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not red.
("Gary" "is" "red" "-")
All smart, round things are not cold.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "-"))
If Anne is round then Anne is not red.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "red" "-"))
All young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is cold and not red then it is furry.
((("something" "is" "cold" "+") ("something" "is" "red" "~")) -> ("something" "is" "furry" "+"))
If Bob is blue then Bob is not furry.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "furry" "-"))
All smart, young things are blue.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All young, round things are blue.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Furry, round things are blue.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Fiona is smart.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
True
4
proof
[(((((triple3) -> rule3) triple3) -> rule6))]
("Fiona" "is" "blue" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((((triple3) -> rule3) triple3) -> rule6))]
("Fiona" "is" "blue" "-")
((((triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "smart" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Fiona is young.[(triple3)] Gary is not red.[(triple4)] @1: Bob is not furry.[(((triple2) -> rule5))] Fiona is smart.[(((triple3) -> rule3))] @2: Fiona is blue.[(((((triple3) -> rule3) triple3) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
((triple2) -> (rule5 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2