Charlie is nice. Charlie is young. Erin is big. Erin is blue. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is young. Harry is smart. Harry is young. If someone is blue and big then they are nice. Nice people are rough. Furry, nice people are blue. Rough, big people are blue. If someone is nice then they are big. If Fiona is young and Fiona is furry then Fiona is blue. If someone is big then they are furry. If Fiona is furry then Fiona is big.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is blue and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Furry, nice people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Rough, big people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If Fiona is young and Fiona is furry then Fiona is blue.
((("Fiona" "is" "young" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "blue" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is furry then Fiona is big.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple12)]
("Harry" "is" "young" "+")
triple12
Erin is not big.
False
1
inv-proof
[(triple3)]
("Erin" "is" "big" "-")
triple3
Fiona is furry.
True
2
proof
[(((triple5) -> rule7) OR ((((triple7) -> rule5)) -> rule7))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple1) -> rule5)) -> rule7))]
("Charlie" "is" "furry" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((((triple1) -> rule2) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule7) triple1) -> rule3))]
("Charlie" "is" "blue" "-")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
rconc
[@3: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule5 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is nice.[(triple1)] Charlie is young.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Fiona is big.[(triple5 OR ((triple7) -> rule5))] Fiona is blue.[(triple6 OR ((triple8 triple5) -> rule4) OR ((triple10 ((triple5) -> rule7)) -> rule6) OR ((triple8 ((triple7) -> rule5)) -> rule4) OR ((((triple5) -> rule7) triple7) -> rule3) OR ((((triple7) -> rule2) triple5) -> rule4) OR ((((triple7) -> rule2) ((triple7) -> rule5)) -> rule4) OR ((triple10 ((((triple7) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule5)) -> rule7) triple7) -> rule3))] Fiona is nice.[(triple7 OR ((triple6 triple5) -> rule1) OR ((((triple8 triple5) -> rule4) triple5) -> rule1) OR ((((triple10 ((triple5) -> rule7)) -> rule6) triple5) -> rule1))] Fiona is rough.[(triple8 OR ((triple7) -> rule2) OR ((((triple6 triple5) -> rule1)) -> rule2) OR ((((((triple10 ((triple5) -> rule7)) -> rule6) triple5) -> rule1)) -> rule2))] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Charlie is big.[(((triple1) -> rule5))] Charlie is rough.[(((triple1) -> rule2))] Erin is furry.[(((triple3) -> rule7))] Erin is nice.[(((triple4 triple3) -> rule1))] Fiona is furry.[(((triple5) -> rule7) OR ((((triple7) -> rule5)) -> rule7))] @2: Charlie is blue.[(((((triple1) -> rule2) ((triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule5)) -> rule7) triple1) -> rule3))] Charlie is furry.[(((((triple1) -> rule5)) -> rule7))] Erin is rough.[(((((triple4 triple3) -> rule1)) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
((triple7) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple8 triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple10 ((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple8 ((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple5) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple7) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
((triple6 triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple8 triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple10 ((triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple6 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple10 ((triple5) -> (rule7 % int4))) -> (rule6 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple4 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2