Anne is not red. Erin is nice. Erin is red. Fiona is cold. Fiona is red. Fiona is rough. Harry is cold. Harry is rough. Harry is round. Harry is smart. If something is cold then it is furry. If something is nice and not red then it is not smart.
Anne is not red.
("Anne" "is" "red" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is nice and not red then it is not smart.
((("something" "is" "nice" "+") ("something" "is" "red" "~")) -> ("something" "is" "smart" "-"))
Fiona is cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Fiona is furry.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is not red.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is cold.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is furry.[(((triple4) -> rule1))] Harry is furry.[(((triple7) -> rule1))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1