Fiona is green. Gary is green. Harry is quiet. If someone is green and not quiet then they are not rough. All quiet people are rough. If someone is quiet and green then they are smart. Rough, red people are young. If someone is rough and not red then they are big. Rough people are big.
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is green and not quiet then they are not rough.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "rough" "-"))
All quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If someone is quiet and green then they are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Rough, red people are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and not red then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "big" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Harry is quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "+")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Harry is rough.
True
2
proof
[(((triple3) -> rule2))]
("Harry" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
True
3
proof
[(((((triple3) -> rule2)) -> rule6))]
("Harry" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not big.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule6))]
("Harry" "is" "big" "-")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is green.[(triple1)] Gary is green.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is rough.[(((triple3) -> rule2))] @2: Harry is big.[(((((triple3) -> rule2)) -> rule6))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2