Erin is big. Erin is quiet. Erin is red. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Harry is big. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is smart. Big people are rough. Big, rough people are smart.
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Big, rough people are smart.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple10 OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
triple10
((triple4 triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not round.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "round" "-")
triple9
Erin is rough.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("Erin" "is" "smart" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("Erin" "is" "smart" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Erin is big.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8 OR ((triple4) -> rule1))] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))] Harry is big.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14 OR ((triple11) -> rule1))] Harry is round.[(triple15)] Harry is smart.[(triple16 OR ((triple11 triple14) -> rule2) OR ((triple11 ((triple11) -> rule1)) -> rule2))] @1: Erin is rough.[(((triple1) -> rule1))] @2: Erin is smart.[(((triple1 ((triple1) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple4) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple4 triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((triple11) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple11 triple14) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple11 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2