Fiona is smart. Harry is round. If Fiona is green then Fiona is cold. If someone is round then they are smart. All big people are rough.
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is round.
("Harry" "is" "round" "+")
If Fiona is green then Fiona is cold.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "cold" "+"))
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple2)]
("Harry" "is" "round" "-")
triple2
Harry is smart.
True
2
proof
[(((triple2) -> rule2))]
("Harry" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple2) -> rule2))]
("Harry" "is" "smart" "-")
((triple2) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is smart.[(triple1)] Harry is round.[(triple2)] @1: Harry is smart.[(((triple2) -> rule2))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Harry is round.
("Harry" "is" "round" "+")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1