Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is smart. Fiona is cold. Fiona is round. Fiona is smart. Gary is not big. Gary is cold. Gary is furry. Harry is cold. Harry is smart. If something is cold and not quiet then it is not round. If something is big then it is green. If Fiona is round then Fiona is not green.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is cold and not quiet then it is not round.
((("something" "is" "cold" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "round" "-"))
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Fiona is round then Fiona is not green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "-"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Harry is not cold.
False
1
inv-proof
[(triple14)]
("Harry" "is" "cold" "-")
triple14
Fiona is not green.
True
2
proof
[(((triple9) -> rule3))]
("Fiona" "is" "green" "-")
((triple9) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is green.
False
2
inv-proof
[(((triple9) -> rule3))]
("Fiona" "is" "green" "+")
((triple9) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple1) -> rule2))] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is not big.[(triple11)] Harry is cold.[(triple14)] Harry is smart.[(triple15)] @1: Fiona is not green.[(((triple9) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
((triple1) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is not big.
("Gary" "is" "big" "-")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Fiona is not green.
("Fiona" "is" "green" "-")
((triple9) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1