Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is white. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Harry is nice. Harry is round. Harry is smart. Harry is white. If someone is red and round then they are smart. All smart people are furry. If someone is nice and red then they are round.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is red and round then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and red then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Fiona is white.
True
1
proof
[(triple11)]
("Fiona" "is" "white" "+")
triple11
Erin is not red.
False
1
inv-proof
[(triple3)]
("Erin" "is" "red" "-")
triple3
Erin is furry.
True
2
proof
[(((triple4) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule3)) -> rule1)) -> rule2))]
("Erin" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Erin" "is" "round" "-")
((triple2 triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is smart.[(triple4 OR ((triple3 ((triple2 triple3) -> rule3)) -> rule1))] Erin is white.[(triple5)] Fiona is furry.[(triple6 OR ((triple10) -> rule2))] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Harry is nice.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Erin is furry.[(((triple4) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule3)) -> rule1)) -> rule2))] Erin is round.[(((triple2 triple3) -> rule3))] Harry is furry.[(((triple14) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple2 triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple14) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1