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