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