Bob is quiet. Bob is red. Bob is round. Bob is smart. Fiona is white. Harry is quiet. Harry is young. Young people are red. All round, quiet people are young. White people are young.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All round, quiet people are young.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Bob is round.
True
1
proof
[(triple3)]
("Bob" "is" "round" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "white" "-")
triple5
Fiona is young.
True
2
proof
[(((triple5) -> rule3))]
("Fiona" "is" "young" "+")
((triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "red" "-")
((triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule1))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Fiona is white.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Bob is young.[(((triple3 triple1) -> rule2))] Fiona is young.[(((triple5) -> rule3))] Harry is red.[(((triple7) -> rule1))] @2: Fiona is red.[(((((triple5) -> rule3)) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2