Anne is big. Anne is nice. Anne is red. Anne is rough. Erin is not big. Erin is kind. Erin is nice. Erin is red. Erin is not rough. Erin is smart. Fiona is big. Fiona is rough. Fiona is smart. Harry is big. Harry is kind. Harry is young. Big, smart things are nice. If something is rough then it is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Big, smart things are nice.
((("something" "is" "big" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Harry is big.
True
1
proof
[(triple14)]
("Harry" "is" "big" "+")
triple14
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Fiona is nice.
True
3
proof
[(((triple11 triple13) -> rule1))]
("Fiona" "is" "nice" "+")
((triple11 triple13) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple12) -> rule2))]
("Fiona" "is" "kind" "-")
((triple12) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not big.[(triple5)] Erin is not rough.[(triple9)] Erin is red.[(triple8)] Erin is smart.[(triple10)] Fiona is big.[(triple11)] Fiona is rough.[(triple12)] Fiona is smart.[(triple13)] Harry is big.[(triple14)] Harry is kind.[(triple15)] Harry is young.[(triple16)] @1: Anne is kind.[(((triple4) -> rule2))] Fiona is kind.[(((triple12) -> rule2))] Fiona is nice.[(((triple11 triple13) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not big.
("Erin" "is" "big" "-")
triple5
Erin is not rough.
("Erin" "is" "rough" "-")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Harry is big.
("Harry" "is" "big" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is kind.
("Anne" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple12) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11 triple13) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1