Bob is not big. Bob is not blue. Bob is quiet. Bob is red. Bob is round. Bob is young. Fiona is red. Fiona is not round. Harry is blue. Harry is young. If someone is big and red then they are furry. All furry, red people are not blue. If Harry is quiet then Harry is blue. If someone is red then they are young. If Fiona is young and Fiona is not furry then Fiona is blue. If Harry is quiet and Harry is not furry then Harry is round. If someone is blue and not red then they are round. If someone is young and not big then they are round.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is big and red then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All furry, red people are not blue.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
If Harry is quiet then Harry is blue.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "blue" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Fiona is young and Fiona is not furry then Fiona is blue.
((("Fiona" "is" "young" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "blue" "+"))
If Harry is quiet and Harry is not furry then Harry is round.
((("Harry" "is" "quiet" "+") ("Harry" "is" "furry" "~")) -> ("Harry" "is" "round" "+"))
If someone is blue and not red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "round" "+"))
If someone is young and not big then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple6 OR ((triple4) -> rule4))]
("Bob" "is" "young" "+")
triple6
((triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not round.
False
1
inv-proof
[(triple5 OR ((triple6 triple1) -> rule8) OR ((((triple4) -> rule4) triple1) -> rule8))]
("Bob" "is" "round" "-")
triple5
((triple6 triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple4) -> (rule4 % int2)) triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple6 triple1) -> rule8) OR ((((triple4) -> rule4) triple1) -> rule8))] Bob is young.[(triple6 OR ((triple4) -> rule4))] Fiona is not round.[(triple8)] Fiona is red.[(triple7)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Fiona is young.[(((triple7) -> rule4))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not blue.
("Bob" "is" "blue" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple6 triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple4) -> (rule4 % int2)) triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1