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