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