Bob is big. Bob is smart. Erin is rough. Erin is not young. Fiona is rough. Harry is nice. Harry is red. Rough things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Erin is young.
False
1
inv-proof
[(triple4)]
("Erin" "is" "young" "+")
triple4
Erin is big.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "big" "+")
((triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "big" "-")
((triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Erin is not young.[(triple4)] Erin is rough.[(triple3)] Fiona is rough.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Erin is big.[(((triple3) -> rule1))] Fiona is big.[(((triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1