Anne is furry. Anne is red. Erin is red. Erin is young. Fiona is nice. Fiona is smart. Harry is big. Harry is nice. Harry is smart. Harry is young. Furry things are smart. If something is furry and big then it is kind. Kind, furry things are smart. Big, young things are furry. If something is kind and furry then it is smart. All red, kind things are nice. All big, kind things are red. Smart things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is furry and big then it is kind.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Kind, furry things are smart.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Big, young things are furry.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If something is kind and furry then it is smart.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All red, kind things are nice.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All big, kind things are red.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Anne is red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Harry is furry.
True
3
proof
[(((triple7 triple10) -> rule4))]
("Harry" "is" "furry" "+")
((triple7 triple10) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule8))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Harry is not kind.
False
5
inv-proof
[(((((triple7 triple10) -> rule4) triple7) -> rule2))]
("Harry" "is" "kind" "-")
((((triple7 triple10) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
True
7
proof
[(((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7))]
("Harry" "is" "red" "+")
((triple7 ((((triple7 triple10) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not red.
False
7
inv-proof
[(((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7))]
("Harry" "is" "red" "-")
((triple7 ((((triple7 triple10) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Erin" "is" "smart" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Fiona is nice.[(triple5 OR ((triple6) -> rule8))] Fiona is smart.[(triple6)] Harry is big.[(triple7)] Harry is nice.[(triple8 OR ((triple9) -> rule8) OR ((((((triple7 triple10) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule5)) -> rule8) OR ((((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7) ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule6))] Harry is smart.[(triple9 OR ((((triple7 triple10) -> rule4)) -> rule1) OR ((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule3) OR ((((((triple7 triple10) -> rule4) triple7) -> rule2) ((triple7 triple10) -> rule4)) -> rule5))] Harry is young.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Harry is furry.[(((triple7 triple10) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule8))] Harry is kind.[(((((triple7 triple10) -> rule4) triple7) -> rule2))] @3: Harry is red.[(((triple7 ((((triple7 triple10) -> rule4) triple7) -> rule2)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
((triple6) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
((triple9) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple7 triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((((triple7 triple10) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple7 triple10) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7 triple10) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple7 ((((triple7 triple10) -> (rule4 % int4)) triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple7 triple10) -> (rule4 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple9
((((triple7 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple7 triple10) -> (rule4 % int3)) triple7) -> (rule2 % int2)) ((triple7 triple10) -> (rule4 % int3))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7 triple10) -> (rule4 % int3)) triple7) -> (rule2 % int2)) ((triple7 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7 triple10) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7 triple10) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple7 ((((triple7 triple10) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3