Erin is kind. Erin is nice. Erin is red. Erin is not smart. Fiona is quiet. Fiona is smart. Fiona is young. Harry is big. Harry is quiet. Harry is not young. If someone is kind and quiet then they are young. Smart people are young. All quiet people are not kind. If someone is big and nice then they are kind. Big people are not nice. All smart, young people are big. If someone is quiet and not big then they are red. Quiet, nice people are not red.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is kind and quiet then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All quiet people are not kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
If someone is big and nice then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Big people are not nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "-"))
All smart, young people are big.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet and not big then they are red.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
Quiet, nice people are not red.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "-"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Harry is not kind.
True
2
proof
[(((triple9) -> rule3))]
("Harry" "is" "kind" "-")
((triple9) -> (rule3 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Fiona is kind.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fiona" "is" "kind" "+")
((triple5) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is not nice.
True
4
proof
[(((((triple6 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "-")
((((triple6 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is nice.
False
4
inv-proof
[(((((triple6 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "+")
((((triple6 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is not smart.[(triple4)] Erin is red.[(triple3)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8)] Harry is not young.[(triple10)] Harry is quiet.[(triple9)] @1: Fiona is big.[(((triple6 triple7) -> rule6) OR ((triple6 ((triple6) -> rule2)) -> rule6))] Fiona is not kind.[(((triple5) -> rule3))] Harry is not kind.[(((triple9) -> rule3))] Harry is not nice.[(((triple8) -> rule5))] @2: Fiona is not nice.[(((((triple6 triple7) -> rule6)) -> rule5) OR ((((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not smart.
("Erin" "is" "smart" "-")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple6) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
((triple6 triple7) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple5) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
((triple9) -> (rule3 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple8) -> (rule5 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((((triple6 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3