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