Charlie is not kind. Charlie is not rough. Erin is big. Erin is furry. Erin is kind. Erin is quiet. Erin is not rough. Erin is smart. Erin is young. Fiona is kind. Fiona is quiet. Fiona is rough. Harry is not big. Harry is kind. Harry is rough. Harry is smart. If something is furry then it is quiet. All quiet things are young. If Charlie is young then Charlie is furry. If something is furry and not young then it is big. All rough things are not big. If something is young and not big then it is not smart. If something is smart and not big then it is kind. If something is furry and not young then it is kind.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
All quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Charlie is young then Charlie is furry.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "furry" "+"))
If something is furry and not young then it is big.
((("something" "is" "furry" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "+"))
All rough things are not big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "-"))
If something is young and not big then it is not smart.
((("something" "is" "young" "+") ("something" "is" "big" "~")) -> ("something" "is" "smart" "-"))
If something is smart and not big then it is kind.
((("something" "is" "smart" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
If something is furry and not young then it is kind.
((("something" "is" "furry" "+") ("something" "is" "young" "~")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple10)]
("Fiona" "is" "kind" "+")
triple10
Harry is not smart.
False
1
inv-proof
[(triple16)]
("Harry" "is" "smart" "-")
triple16
Fiona is young.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "young" "+")
((triple11) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "young" "-")
((triple11) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not smart.
True
5
proof
[(((((triple11) -> rule2) ((triple12) -> rule5)) -> rule6))]
("Fiona" "is" "smart" "-")
((((triple11) -> (rule2 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
False
5
inv-proof
[(((((triple11) -> rule2) ((triple12) -> rule5)) -> rule6))]
("Fiona" "is" "smart" "+")
((((triple11) -> (rule2 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Charlie is not furry.
Unknown
inv-rconc
[@3: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Charlie is not young.
Unknown
inv-rconc
[@3: Charlie is young.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Charlie is not kind.[(triple1)] Charlie is not rough.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is not rough.[(triple7)] Erin is quiet.[(triple6 OR ((triple4) -> rule1))] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Harry is kind.[(triple14 OR ((triple16 triple13) -> rule7) OR ((triple16 ((triple15) -> rule5)) -> rule7))] Harry is not big.[(triple13 OR ((triple15) -> rule5))] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Fiona is not big.[(((triple12) -> rule5))] Fiona is young.[(((triple11) -> rule2))] @2: Fiona is not smart.[(((((triple11) -> rule2) ((triple12) -> rule5)) -> rule6))]
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple16 triple13) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple16 ((triple15) -> (rule5 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not big.
("Harry" "is" "big" "-")
int2
Harry is not big.
("Harry" "is" "big" "-")
triple13
((triple15) -> (rule5 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Fiona is not big.
("Fiona" "is" "big" "-")
((triple12) -> (rule5 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple11) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((((triple11) -> (rule2 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3