Erin is big. Erin is round. Erin is smart. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. Harry is green. Harry is smart. All round things are green. If something is green and round then it is rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green and round then it is rough.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Fiona is furry.
True
1
proof
[(triple4)]
("Fiona" "is" "furry" "+")
triple4
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Erin is green.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "green" "+")
((triple2) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "green" "-")
((triple2) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
True
4
proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("Erin" "is" "rough" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not rough.
False
4
inv-proof
[(((((triple2) -> rule1) triple2) -> rule2))]
("Erin" "is" "rough" "-")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5 OR ((triple7) -> rule1))] Fiona is rough.[(triple6 OR ((triple5 triple7) -> rule2) OR ((((triple7) -> rule1) triple7) -> rule2))] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is green.[(triple9)] Harry is smart.[(triple10)] @1: Erin is green.[(((triple2) -> rule1))] @2: Erin is rough.[(((((triple2) -> rule1) triple2) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
((triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple5 triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2