Fiona is green. Harry is rough. Harry is young. If Harry is rough then Harry is smart. If something is smart then it is cold.
Fiona is green.
("Fiona" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is rough then Harry is smart.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "smart" "+"))
If something is smart then it is cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Harry is rough.
True
1
proof
[(triple2)]
("Harry" "is" "rough" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple2)]
("Harry" "is" "rough" "-")
triple2
Harry is smart.
True
2
proof
[(((triple2) -> rule1))]
("Harry" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Harry" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Harry" "is" "cold" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not cold.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Harry" "is" "cold" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is green.[(triple1)] Harry is rough.[(triple2)] Harry is young.[(triple3)] @1: Harry is smart.[(((triple2) -> rule1))] @2: Harry is cold.[(((((triple2) -> rule1)) -> rule2))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Harry is rough.
("Harry" "is" "rough" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2