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