Anne is big. Anne is green. Anne is rough. Anne is round. Anne is white. Fiona is big. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Harry is not green. Harry is not nice. Harry is not red. Harry is round. If something is nice then it is rough. Round things are rough. If something is big and not nice then it is rough. If something is rough and not red then it is round. Red things are white. Nice, green things are white. Rough things are white. All nice things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is round.
("Harry" "is" "round" "+")
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is big and not nice then it is rough.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "rough" "+"))
If something is rough and not red then it is round.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Nice, green things are white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple6 OR ((triple8) -> rule8))]
("Fiona" "is" "big" "-")
triple6
((triple8) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is rough.
True
2
proof
[(((triple16) -> rule2))]
("Harry" "is" "rough" "+")
((triple16) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "rough" "-")
((triple16) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
True
3
proof
[(((((triple16) -> rule2)) -> rule7))]
("Harry" "is" "white" "+")
((((triple16) -> (rule2 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple16) -> rule2)) -> rule7))]
("Harry" "is" "white" "-")
((((triple16) -> (rule2 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "big" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((triple4) -> rule2))] Anne is round.[(triple4)] Anne is white.[(triple5 OR ((triple3) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] Fiona is big.[(triple6 OR ((triple8) -> rule8))] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple11) -> rule2) OR ((triple8) -> rule1))] Fiona is round.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule7) OR ((triple9) -> rule5) OR ((triple8 triple7) -> rule6) OR ((((triple11) -> rule2)) -> rule7) OR ((((triple8) -> rule1)) -> rule7))] Harry is not green.[(triple13)] Harry is not nice.[(triple14)] Harry is not red.[(triple15)] Harry is round.[(triple16)] @1: Harry is rough.[(((triple16) -> rule2))] @2: Harry is white.[(((((triple16) -> rule2)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple3) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple8) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple11) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple8 triple7) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is not green.
("Harry" "is" "green" "-")
triple13
Harry is not nice.
("Harry" "is" "nice" "-")
triple14
Harry is not red.
("Harry" "is" "red" "-")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
((triple16) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple16) -> (rule2 % int2))) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2