Bob is nice. Dave is red. Fiona is red. Fiona is round. Fiona is not white. Fiona is not young. Harry is white. Green, young people are not red. Young people are round. If Bob is red then Bob is not nice. If Harry is young and Harry is green then Harry is round. If Harry is red then Harry is nice. If Bob is nice and Bob is not young then Bob is white. If Fiona is not green then Fiona is not white. If someone is red and not white then they are furry.
Bob is nice.
("Bob" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is white.
("Harry" "is" "white" "+")
Green, young people are not red.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If Bob is red then Bob is not nice.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "nice" "-"))
If Harry is young and Harry is green then Harry is round.
((("Harry" "is" "young" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "round" "+"))
If Harry is red then Harry is nice.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "nice" "+"))
If Bob is nice and Bob is not young then Bob is white.
((("Bob" "is" "nice" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "white" "+"))
If Fiona is not green then Fiona is not white.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "white" "-"))
If someone is red and not white then they are furry.
((("someone" "is" "red" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
Fiona is not white.
True
1
proof
[(triple5)]
("Fiona" "is" "white" "-")
triple5
Fiona is young.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "young" "+")
triple6
Fiona is furry.
True
3
proof
[(((triple3 triple5) -> rule8))]
("Fiona" "is" "furry" "+")
((triple3 triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple3 triple5) -> rule8))]
("Fiona" "is" "furry" "-")
((triple3 triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "furry" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is nice.[(triple1)] Dave is red.[(triple2)] Fiona is not white.[(triple5)] Fiona is not young.[(triple6)] Fiona is red.[(triple3)] Fiona is round.[(triple4)] Harry is white.[(triple7)] @1: Fiona is furry.[(((triple3 triple5) -> rule8))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is not white.
("Fiona" "is" "white" "-")
triple5
Fiona is not young.
("Fiona" "is" "young" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 triple5) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1