Erin is rough. Fiona is rough. Gary is smart. Harry is green. If someone is smart and furry then they are big. Smart people are furry.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is smart and furry then they are big.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Gary is furry.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Gary" "is" "big" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not big.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("Gary" "is" "big" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Erin is rough.[(triple1)] Fiona is rough.[(triple2)] Gary is smart.[(triple3)] Harry is green.[(triple4)] @1: Gary is furry.[(((triple3) -> rule2))] @2: Gary is big.[(((triple3 ((triple3) -> rule2)) -> rule1))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2