Fiona is not cold. Fiona is not kind. Fiona is rough. Fiona is smart. Harry is cold. Harry is kind. Harry is not white. If Harry is round and Harry is rough then Harry is white. If something is white and round then it is smart. All smart things are round. If Fiona is furry and Fiona is smart then Fiona is white. If Harry is kind then Harry is not round. If something is rough and not white then it is cold.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Harry is round and Harry is rough then Harry is white.
((("Harry" "is" "round" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "white" "+"))
If something is white and round then it is smart.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
All smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If Fiona is furry and Fiona is smart then Fiona is white.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "white" "+"))
If Harry is kind then Harry is not round.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "round" "-"))
If something is rough and not white then it is cold.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "cold" "+"))
Fiona is smart.
True
1
proof
[(triple4)]
("Fiona" "is" "smart" "+")
triple4
Harry is not kind.
False
1
inv-proof
[(triple6)]
("Harry" "is" "kind" "-")
triple6
Fiona is round.
True
2
proof
[(((triple4) -> rule3))]
("Fiona" "is" "round" "+")
((triple4) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is round.
False
2
inv-proof
[(((triple6) -> rule5))]
("Harry" "is" "round" "+")
((triple6) -> (rule5 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is not cold.[(triple1)] Fiona is not kind.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is not white.[(triple7)] @1: Fiona is round.[(((triple4) -> rule3))] Harry is not round.[(((triple6) -> rule5))]
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is not white.
("Harry" "is" "white" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple4) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is not round.
("Harry" "is" "round" "-")
((triple6) -> (rule5 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1