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